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:
- An embeddable Scheme R7 Compiler & Runtime written in Rust☆107Updated 8 months ago
- ☆78Updated 6 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆77Updated 6 years ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆65Updated 8 months ago
- Haskell + Lisp☆214Updated last year
- Programming with pure lambda calculus☆140Updated 2 months ago
- The adventures of a Haskell compiler☆237Updated 3 months ago
- A general purpose statically-typed concatenative programming language.☆56Updated 2 years ago
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆95Updated 5 years ago
- Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda☆85Updated 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 this week
- Apple array system☆69Updated last month
- ATS2: Unleashing the Potentials of Types and Templates☆46Updated 6 years ago
- Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)☆70Updated 2 months ago
- Hindley–Milner Type inferencing in C☆48Updated 3 years ago
- A declarative concatenative programming language☆170Updated 4 months ago
- The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/☆22Updated 2 years ago
- A strict, impure, curried, partially applied programming language with rather peculiar syntax.☆283Updated 12 years ago
- TinyAPL, a tiny APL dialect and interpreter in Haskell☆71Updated last week
- nanopass compiler framework for Racket☆200Updated 2 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- An implementation of the Lox language in Racket.☆37Updated 2 years ago
- Shen/Scheme implementation☆131Updated this week
- An embeddable flow-oriented language.☆74Updated last month
- Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction"☆74Updated 6 years ago
- an implementation of stuck macros☆152Updated last month
- A Racket refactoring engine☆65Updated last month
- A collection of core libraries for Racket☆85Updated 7 months ago
- Informal collection of BQN utilities☆63Updated 4 months ago