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