-
-
-
-
-
-
-
x-emacs Public
my emacs config file
-
-
-
-
-
-
-
-
-
eoc Public
Learning how to write compiler from "Essentials of Compilation".
-
-
-
-
-
lambda-lisp.js Public
An implementation of lambda calculus.
-
explicit-lisp.js Public
An implementation of lambda calculus by explicit substitution.
-
lattice-lisp.js Public
A lisp with structural type system.
TypeScript GNU General Public License v3.0 UpdatedFeb 13, 2026 -
inet-lisp Public
An implementation of interaction nets.
-
inet-lisp-st Public
A single-threaded implementation of interaction nets as a lisp-like language.
-
inet-forth Public
An implementation of interaction nets as a forth-like language.
-
-
-
propagator.js Public
An implementation of the propagator model.
TypeScript GNU General Public License v3.0 UpdatedOct 23, 2025 -
{{ message }}