lambduli

frea

A simple and lazy programming language with Damas-Hindley-Milner type inference and higher kinded types.

minilog

A small logic programming language.

monolog

Small and simple logic programming language inspired by Prolog.

lambduli

plover

An implementation of Minilog (my other) toy language with a complete search strategy making it a simple, naive, toy theorem prover with Prolog syntax.

lambdas

REPL for various lambda calculi.

dfsm-dsl

Just a POC of the Deterministic-Finite-State-Machine DSL. Implemented as the JavaScript's tagged template literal.

detour

A toy proof-checker for first-order logic natural deduction with Fitch-style notation.

lambda-pie

Simple REPLs for various λ calculi.

resin

A toy Automated Theorem Prover for First Order Classical Logic built on Resolution.

sjs

Simple compiler from Symbolic JavaScript (Lisp-like language) to JavaScript. Created as semestral project.

writing

My digital notepad about Programming Languages Theory, Type Systems, Logic, and Formal Reasoning.

FeenyML

Mostly incomplete implementation of a simple programming language.

original-glask

A statically typed, lazy, pure functional programming language with pattern matching, type classes, higher kinded types, type synonyms, global inference, polymorphic recursion, polymorphic kinds, typed holes, and higher-rank types.