brownplt / LambdaJSLinks
Semantics and tools for JavaScript
☆92Updated 3 years ago
Alternatives and similar repositories for LambdaJS
Users that are interested in LambdaJS are comparing it to the libraries listed below
Sorting:
- Semantics for ES5☆82Updated 9 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆103Updated last year
- The LVish Haskell library☆80Updated 2 years ago
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago
- Lean ported to Javascript with Emscripten