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
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆31Updated 12 years ago
- Mirror of Epigram 2, by Conor McBride, et al.☆48Updated 4 years ago
- A Scheme-like CBPV language with Racket Interoperability☆39Updated last year
- dependently-typed lisp with flexible compiler backends☆28Updated 5 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- A SKI combinators interpreter written in assembly☆19Updated 4 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆74Updated 5 years ago
- Relational interpreter for miniKanren, in miniKanren.☆14Updated 3 years ago
- My Own Linear Lisp☆39Updated 6 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- The Alms Programming Language☆44Updated 6 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆25Updated 11 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated 8 months ago
- (Somewhat) Algebraic Data Types for Racket☆34Updated 2 years ago
- MLpolyR☆7Updated 8 years ago
- Miller/pattern unification in Agda☆64Updated 11 years ago
- Martin-Löf Extensible Specification and Simulator☆29Updated 9 years ago
- A very little language☆16Updated last year
- A categorical semantics library in Agda.☆17Updated 5 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- "operating system" based on the calculus of constructions☆18Updated 2 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 4 months ago
- ☆34Updated 10 months ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/☆22Updated last year
- An experimental language server for SomewhatML☆24Updated 2 years ago
- An extended typed Lambda Calculus☆21Updated 7 months ago
- An idris backend compiling to chez scheme☆46Updated 7 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 7 years ago