Dedukti is a proof checker for the λΠ-modulo calculus, a
dependently typed λ-calculus with the ad...
Latest release 1.1.4 -
Whitespace, an esoteric programming language.
Latest release 0.4 -
- 6 stars
This is a moderately complete small scheme interpreter.
It implements most of R6RS, with the exce...
Latest release 0.7.16 -
Pesca is a program that helps in the construction of proofs
in sequent calculus. It works both as...
Latest release 4.0.1 -
Interpreter for a subset of tcl
Latest release 0.40 -
This is an interpreter of the brainf*ck language,
written in the pure, lazy, functional language ...
Latest release 0.1.0.3 -
This is an interpreter of the Unlambda language,
written in the pure, lazy, functional language H...
Latest release 0.1.4.2 -
The lambda shell is a feature-rich shell environment and command-line tool for
evaluating terms o...
Latest release 0.9.3 -
Baskell is an interpreter for a small functional
language. It supports type inference, lazy
Latest release 0.1.1 -