siraben / r5rs-denotView external linksLinks
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 2 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 2 weeks ago
- a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff☆12Jan 12, 2021Updated 5 years ago
- A sort-of continuation of the TinyScheme project by Dimitrios Souflis☆13Mar 8, 2016Updated 9 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
- Typing Haskell in Haskell☆15Apr 12, 2010Updated 15 years ago
- My attempt at writing a R⁵RS-compliant Scheme with Megaparsec☆14Dec 15, 2025Updated 2 months ago
- ☆17Apr 4, 2024Updated last year
- A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.☆15Feb 26, 2024Updated last year
- A simplistic FORTH bootstrapped from x86 assembly language☆15Feb 28, 2017Updated 8 years ago
- A Haskell embedded DSL for generating an API's JSON wrappers and documentation.☆34Feb 10, 2026Updated last week
- Experimental fork of TinyScheme and extensions TSX, RE.☆16Jul 4, 2015Updated 10 years ago
- Scheme R7RS frontend for LLVM☆69Jan 3, 2018Updated 8 years ago
- A micro-kernel operating system based on the Barrelfish CPU-driver.☆21Mar 6, 2018Updated 7 years ago
- illustration how to embed TinyScheme within C programs☆22May 13, 2016Updated 9 years ago
- Agda-style equational reasoning in Haskell☆54Jan 18, 2026Updated last month
- Decision procedures for Presburger arithmetic in Haskell☆30Mar 29, 2025Updated 10 months ago
- ☆20Nov 12, 2017Updated 8 years ago
- Scheme macros for non-linear pattern matching with backtracking for non-free data types☆30Aug 29, 2019Updated 6 years ago
- Common Lisp DSL for building untyped lambda calculus expressions☆26Dec 3, 2024Updated last year
- A simple interpreter and superoptimizer for the F18A instruction set used by GreenArrays chips.☆28Feb 2, 2021Updated 5 years ago
- Port of Shen to run on top of Wasp Lisp☆25Apr 29, 2022Updated 3 years ago
- Existential type.☆37Updated this week
- A Really Cool Calculator written in Haskell... or is it?☆44Aug 26, 2021Updated 4 years 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…☆65May 25, 2025Updated 8 months ago
- 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.☆77Dec 22, 2019Updated 6 years ago
- a Java VM implemented in Forth☆41Apr 27, 2012Updated 13 years ago
- Next Generation Genomic Prediction Tools☆10Dec 3, 2025Updated 2 months ago
- A Stack-Oriented Imperative Programming language☆11Sep 22, 2019Updated 6 years ago