radian-software / kalynLinks
⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.
☆163Updated 3 years ago
Alternatives and similar repositories for kalyn
Users that are interested in kalyn are comparing it to the libraries listed below
Sorting:
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆94Updated 5 years ago
- An embeddable Scheme R7 Compiler & Runtime written in Rust☆106Updated 7 months ago
- ☆78Updated 6 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆78Updated 6 years ago
- Programming with pure lambda calculus☆136Updated 3 weeks ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆64Updated 7 months ago
- Haskell + Lisp☆214Updated last year
- The adventures of a Haskell compiler☆236Updated 2 months ago
- A declarative concatenative programming language☆169Updated 3 months ago
- A general purpose statically-typed concatenative programming language.☆56Updated 2 years ago
- An implementation of the Lox language in Racket.☆35Updated 2 years ago
- An embeddable flow-oriented language.☆72Updated 2 weeks ago
- Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda☆81Updated this week
- The future of programming.☆69Updated 4 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆64Updated last week
- Apple array system☆68Updated this week
- A code formatter for Racket☆82Updated 5 months ago
- Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)☆70Updated last month
- Shen/Scheme implementation☆126Updated 7 months ago
- A Racket refactoring engine☆65Updated last week
- Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction"☆74Updated 6 years ago
- SML reference interpreter☆121Updated 2 months ago
- A work-in-progress garbage collector for Guile☆211Updated 3 weeks ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆46Updated 6 years ago
- A simple incomplete Scheme-to-C compiler☆74Updated 4 months ago
- A tiny Racket for scripting☆306Updated 5 months ago
- A compiler to compile a simple subset of scheme to LLVM 10☆108Updated 4 years ago
- An experimental Racket implementation using LLVM/MLIR☆62Updated 2 years ago
- A toy programming language.☆41Updated last year