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