habedi / element-0Links
A small embeddable Lisp for the Zig ecosystem λ
☆17Updated 2 weeks ago
Alternatives and similar repositories for element-0
Users that are interested in element-0 are comparing it to the libraries listed below
Sorting:
- Martin-Löf type theory + W-types implemented in C (WIP)☆25Updated 2 months ago
- Fir programming language☆80Updated last week
- Library of math functions for the Uiua programming language☆30Updated this week
- Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda☆80Updated last week
- File format and optimizer for programs encoded in binary lambda calculus☆16Updated last year
- A tiny lazy objective functional language☆18Updated last year
- Linearizability Hoare Logic☆14Updated 7 months ago
- A small, statically typed, low-level programming language.☆23Updated last month
- ☆16Updated 3 years ago
- A SKI combinators interpreter written in assembly☆19Updated 5 years ago
- A native and a cross platform guide for BQN array programming language☆57Updated last year
- The Functional Virtual Machine.☆14Updated 10 months ago
- A terminal-based, JIT-compiled CHIP-8 VM in Zig☆15Updated 2 years ago
- An implementation of interaction nets as a forth-like language.☆37Updated 2 months ago
- The Ribbon compiler, interpreter and runtime. An embeddable programming language, offering performance without sacrificing safety or usab…☆17Updated 2 weeks ago
- Journey to the Center of the Lambda Calculus☆14Updated 2 years ago
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆38Updated 2 weeks ago
- TinyAPL, a tiny APL dialect and interpreter in Haskell☆67Updated last month
- Window Manager☆19Updated last year
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆163Updated 3 years ago
- ☆26Updated 2 years ago
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆32Updated 9 months ago
- A playground for programming language ideas.☆20Updated last week
- Category Theory in Programming☆12Updated 2 months ago
- A delightful programming language for writing reliable software☆19Updated last year
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆69Updated last year
- Retro-inspired operating system designed to be learnable and hackable by its users☆95Updated this week
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆60Updated 5 months ago
- A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.☆15Updated last year
- High-level interface for low-level programming☆119Updated 2 months ago