A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
☆21May 13, 2025Updated 9 months ago
Alternatives and similar repositories for r5rs-denot
Users that are interested in r5rs-denot are comparing it to the libraries listed below
Sorting:
- A Haskell port of the C++ smallpt path tracer☆16Dec 14, 2020Updated 5 years ago
- Classical Logic in Haskell☆24Nov 19, 2025Updated 3 months ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆32Aug 7, 2012Updated 13 years ago
- (To) mirror Emacs Lisp Package Archive(s)☆10Feb 2, 2026Updated last month
- A sort-of continuation of the TinyScheme project by Dimitrios Souflis☆13Mar 8, 2016Updated 10 years ago
- a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff☆12Jan 12, 2021Updated 5 years ago
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 8 years ago
- A pluggable NES emulator☆31Jun 8, 2019Updated 6 years ago
- Implementation of the languages from the EOPL textbook in Haskell and Standard ML.☆15Dec 22, 2019Updated 6 years ago
- Genetic program repair using GHC☆33May 16, 2024Updated last year
- Typing Haskell in Haskell☆15Apr 12, 2010Updated 15 years ago
- ☆17Apr 4, 2024Updated last year
- A Haskell embedded DSL for generating an API's JSON wrappers and documentation.☆34Feb 10, 2026Updated 3 weeks ago
- A simplistic FORTH bootstrapped from x86 assembly language☆15Feb 28, 2017Updated 9 years ago
- A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.☆15Feb 26, 2024Updated 2 years ago
- illustration how to embed TinyScheme within C programs☆22May 13, 2016Updated 9 years ago
- Scheme R7RS frontend for LLVM☆69Jan 3, 2018Updated 8 years ago
- Experimental fork of TinyScheme and extensions TSX, RE.☆16Jul 4, 2015Updated 10 years ago
- A micro-kernel operating system based on the Barrelfish CPU-driver.☆21Mar 6, 2018Updated 8 years ago
- ☆20Nov 12, 2017Updated 8 years ago
- Decision procedures for Presburger arithmetic in Haskell☆30Mar 29, 2025Updated 11 months ago
- Scheme macros for non-linear pattern matching with backtracking for non-free data types☆30Aug 29, 2019Updated 6 years ago
- A simple interpreter and superoptimizer for the F18A instruction set used by GreenArrays chips.☆28Feb 2, 2021Updated 5 years ago
- The RScheme Revival Project☆33Nov 10, 2009Updated 16 years ago
- Common Lisp DSL for building untyped lambda calculus expressions☆26Dec 3, 2024Updated last year
- Port of Shen to run on top of Wasp Lisp☆25Apr 29, 2022Updated 3 years ago
- A Really Cool Calculator written in Haskell... or is it?☆45Aug 26, 2021Updated 4 years ago
- Existential type.☆37Feb 11, 2026Updated 3 weeks ago
- A Forth implementation for the R216K8B Powder Toy computer.☆27May 24, 2024Updated last year
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆68May 25, 2025Updated 9 months ago
- Projects to get started with Clash☆32Jan 14, 2026Updated last month
- Martin-Löf Extensible Specification and Simulator☆29Jul 1, 2015Updated 10 years ago
- Coq proofs for the paper "Calculating Correct Compilers"☆31Dec 11, 2023Updated 2 years ago
- Scheme's commonly used small functions☆29Sep 24, 2019Updated 6 years ago
- Template Haskell Implementation of Egison Pattern Matching☆33Jul 13, 2020Updated 5 years ago
- Pre-Scheme to (GNU) C compiler written in Pre-Scheme☆36Nov 23, 2013Updated 12 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆78Dec 22, 2019Updated 6 years ago
- a Java VM implemented in Forth☆41Apr 27, 2012Updated 13 years ago
- The definitive collection of interpreters, compilers, and programs for the Whitespace programming language.☆40Mar 20, 2025Updated 11 months ago