tekknolagi / ghuloum
Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)
☆62Updated 3 years ago
Alternatives and similar repositories for ghuloum:
Users that are interested in ghuloum are comparing it to the libraries listed below
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆88Updated 4 years ago
- Hindley–Milner Type inferencing in C☆48Updated 2 years ago
- single file scheme interpreter with tail call optimization☆82Updated 6 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆63Updated 10 months ago
- A toy programming language.☆40Updated last year
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆157Updated 2 years ago
- Joel Bartlett's fabled Scheme->C system☆82Updated 5 years ago
- ☆79Updated 5 years ago
- A DSL for runtime code generation in racket☆67Updated 2 years ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆57Updated 11 months ago
- s7 Scheme☆58Updated 6 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆74Updated 5 years ago
- Scheme on SECD☆42Updated 4 years ago
- minikanren mips assembler/disassembler☆29Updated 10 years ago
- Guy Steele's RABBIT Scheme compiler☆60Updated 16 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- A meta-circular interpreter of a subset of Scheme☆15Updated 5 years ago
- FUNCTIONAL PROGRAMMING: Application and Implementation, Peter Henderson, ISBN 0-13-331579-7☆54Updated last year
- SKI combinators☆54Updated 7 years ago
- The Caml Light implementation of the Caml language☆67Updated 2 years ago
- Common lisp implementation of Val Schorr's Meta-II language☆18Updated 8 years ago
- ☆40Updated last year
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 5 years ago
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆25Updated last year
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- Experiments about intermediate representations in compilers☆25Updated 12 years ago
- Incremental Compiler paper by Abdulaziz Ghuloum, using Chez scheme, Nasm, x86_64 for OSX☆57Updated 8 years ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21Updated 2 years ago
- Foment is an implementation of R7RS Scheme.☆68Updated 2 years ago
- Implementation of Scheme programming language in assembly☆25Updated 7 years ago