tmikov / scheme2020Links
An implementation of Scheme R7RS-small in 48 working hours.
☆19Updated 5 years ago
Alternatives and similar repositories for scheme2020
Users that are interested in scheme2020 are comparing it to the libraries listed below
Sorting:
- NodeC -- A lean NodeJS in C using algebraic effect handlers.☆34Updated 6 years ago
- ☆64Updated 8 years ago
- A meta-circular interpreter of a subset of Scheme☆15Updated 5 years ago
- type-system, revised unification algorithm and runtime time representations☆14Updated 5 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- Mickey Scheme is an interpreter for R7RS Scheme written in pure C++☆63Updated 8 years ago
- A simple prolog implementation in Rust☆26Updated 4 years ago
- The Lark programming language.☆58Updated 14 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆31Updated 6 years ago
- A compiler for the Tiger programming language targeting LLVM☆13Updated 8 years ago
- Implementation of Pratt parser in C++11☆26Updated 10 years ago
- Simple C Haskell Compiler☆22Updated 2 years ago
- ☆18Updated 5 years ago
- Tiny scheme implementation written in c++17☆30Updated 6 years ago
- The compiler and standard distribution for the C∀ programming language☆79Updated last month
- Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)☆64Updated 4 years ago
- Let's (possibly) build a JIT!☆29Updated last year
- Lean4 backend using `libgccjit`!☆11Updated last year
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated 2 months ago
- Simple conservative GC using mimalloc☆40Updated 2 years ago
- SML The Living Language☆11Updated 11 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆27Updated 4 years ago
- Minimalist compiler course, based on Essential of Compilation☆10Updated 10 months ago
- Experiments with llvm to create a toy programming language☆25Updated 7 months ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- minimalist pure lazy functional programming language (pythonic haskell)☆78Updated 3 months ago
- How to make a new language(and why we shouldn't?)☆40Updated last year
- My Own Linear Lisp☆40Updated 6 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- Royal Scheme will eventually grow to be a real, usable, embeddable Scheme implemented in ANSI C.☆77Updated 12 years ago