siraben / r5rs-denot
A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
☆21Updated 2 years ago
Alternatives and similar repositories for r5rs-denot:
Users that are interested in r5rs-denot are comparing it to the libraries listed below
- a self-hosting lambda calculus compiler☆35Updated 3 years ago
- Relational interpreter for miniKanren, in miniKanren.☆14Updated 3 years ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆31Updated 12 years ago
- Hanoi tower in Coq☆25Updated 3 months ago
- A SKI combinators interpreter written in assembly☆19Updated 4 years ago
- A Scheme-like CBPV language with Racket Interoperability☆39Updated last year
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆25Updated 11 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated 9 months ago
- Pure relational SKI combinator calculus interpreter.☆11Updated 7 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 5 months ago
- SPSC: A Small Positive Supercompiler☆34Updated 10 months ago
- ☆21Updated 5 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- Mirror of Epigram 2, by Conor McBride, et al.☆48Updated 4 years ago
- Miller/pattern unification in Agda☆64Updated 11 years ago
- The Alms Programming Language☆44Updated 6 years ago
- dependently-typed lisp with flexible compiler backends☆28Updated 5 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆21Updated 10 years ago
- ☆17Updated 11 months ago
- An extended typed Lambda Calculus☆21Updated 7 months ago
- An implementation of "A Pretty Expressive Printer" in Racket☆27Updated last year
- My Own Linear Lisp☆40Updated 6 years ago
- An equational theorem prover based on Knuth-Bendix completion☆50Updated 3 weeks ago
- The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/☆22Updated last year
- A metalanguage for creating sophisticated DSLs in Racket.☆31Updated last week
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆57Updated 10 months ago
- Lambda Calculus with quote and unquote☆19Updated 4 years ago
- A microKanren framework for implementing constraints.☆18Updated 6 years ago
- ☆13Updated 3 weeks ago