🎷
WE'RE BACK!
Starred repositories
13
stars
written in Scheme
Clear filter
a lightweight, robust, scheme-like lisp implementation
Otus Lisp (Ol in short) is a purely* functional dialect of Lisp.
Embeddable lisp/scheme interpreter written in C.
Purely functional lisp featuring: default currying, left-associative s-expression, lazy evaluation, static type system, and statically determined multimethods.
A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"
some deterministic finite automata i've written in scheme. taken from the book "Introduction to the theory of computation" by Michael Sipser and the internet.
a prototype dependent type functional language, implemented by a simple interpreter in scheme.