woodrush / lambdavmLinks
A programmable virtual CPU written in untyped lambda calculus
☆56Updated 3 years ago
Alternatives and similar repositories for lambdavm
Users that are interested in lambdavm are comparing it to the libraries listed below
Sorting:
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- A high level assembler.☆58Updated 2 months ago
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆91Updated 4 years ago
- Binary Lambda Calculus Virtual Machine☆55Updated last year
- Hindley–Milner Type inferencing in C