Minimal implementations for dependent type checking and elaboration

An interpreter for learning and exploring pure λ-calculus

Embedded specification language & model checker in Haskell

A modern step-through debugger for GHC Haskell

A toolkit for enforcing logical specifications on neural networks

A tutorial about how to apply property-based testing to stateful systems.

A monadic library for symbolic evaluation

An equational theorem prover based on Knuth-Bendix completion

A symbolic model checker for Dynamic Epistemic Logic.

Implementation of an efficient thread-safe global Symbol Table, with garbage collection

Guarded Command Language