-
reading Public
My digital notepad about Programming Languages Theory, Type Systems, Logic, and Formal Reasoning.
haskell logic type-theory programming-languages programming-language-theory proof-theory type-systems1 UpdatedSep 18, 2024 -
-
detour Public
A toy proof-checker for first-order logic natural deduction with Fitch-style notation.
-
minilog Public
A small logic programming language.
-
original-glask Public archive
A statically typed, lazy, pure functional programming language with pattern matching, type classes, higher kinded types, type synonyms, global inference, polymorphic recursion, polymorphic kinds, t…
Haskell Other UpdatedApr 17, 2024 -
resin Public
A toy Automated Theorem Prover for First Order Classical Logic built on Resolution.
-
lambda-pie Public archive
Simple REPLs for various λ calculi.
-
plover Public
An implementation of Minilog (my other) toy language with a complete search strategy making it a simple, naive, toy theorem prover with Prolog syntax.
-
monolog Public archive
Small and simple logic programming language inspired by Prolog.
-
frea Public archive
A simple and lazy programming language with Damas-Hindley-Milner type inference and higher kinded types.
-
dfsm-dsl Public archive
Just a POC of the Deterministic-Finite-State-Machine DSL. Implemented as the JavaScript's tagged template literal.
-
lambdas Public archive
REPL for various lambda calculi.
-
sjs Public archive
Simple compiler from Symbolic JavaScript (Lisp-like language) to JavaScript. Created as semestral project.