xieyuheng / lambda-lisp.jsLinks
An implementation of lambda calculus.
☆26Updated 5 months ago
Alternatives and similar repositories for lambda-lisp.js
Users that are interested in lambda-lisp.js are comparing it to the libraries listed below
Sorting:
- An implementation of interaction nets in JS.☆132Updated 6 months ago
- A notional machine for the SMoL languages☆21Updated 2 years ago
- A Scala-style magic function application form☆43Updated 3 years ago
- A Racket refactoring engine☆65Updated last month
- An embeddable flow-oriented language.☆74Updated last month
- ☆51Updated 3 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆39Updated 3 months ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21Updated 8 months ago
- Prototypes: Object Orientation, Functionally☆50Updated this week
- Cicada Language (solo version)☆128Updated last year
- Elaboration with inductive types☆16Updated 2 years ago
- A DSL for runtime code generation in racket☆68Updated 3 years ago
- ☆41Updated 8 months ago
- An experimental language server for SomewhatML☆24Updated 3 years ago
- an implementation of Observational Type Theory (OTT) and more☆30Updated 3 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆167Updated last year
- An experimental Racket implementation using LLVM/MLIR☆62Updated 2 years ago
- The Kraken Programming Language☆49Updated 2 years ago
- Course web page for Fall 2021.☆22Updated 4 years ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆32Updated 13 years ago
- multi-stage relational programming for staged relational interpreters: running with holes, faster☆139Updated 2 months ago
- Accompanying materials for "A Core Calculus for Documents"☆36Updated 2 years ago
- A compiler to compile a simple subset of scheme to LLVM 10☆111Updated 4 years ago
- Personal research notes☆18Updated last year
- Mystery Languages☆41Updated 2 years ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆65Updated 8 months ago
- A compiler and run-time system to compile and run Curry programs as Go programs☆38Updated 3 months ago
- A 2D RPG implemented in the Rhombus Racket dialect☆57Updated 2 years ago
- ☆58Updated 8 months ago
- ☆19Updated 2 years ago