cofibrant / micro-mittenLinks
You might not need your garbage collector
β542Updated 5 years ago
Alternatives and similar repositories for micro-mitten
Users that are interested in micro-mitten are comparing it to the libraries listed below
Sorting:
- A friendly little systems language with first-class types. Very WIP! π§ π§ π§β625Updated 4 years ago
- πΊπ ZetZ a zymbolic verifier and tranzpiler to bare metal Cβ1,599Updated 3 years ago
- A programming language with static memory management based on Ξ»-calculusβ1,006Updated 2 weeks ago
- A small extensible programming language designed for concise expression with little code.β1,080Updated last year
- Compiler for the Mirth programming language.β478Updated 5 months ago
- A fast functional language based on two level type theoryβ391Updated 2 years ago
- Autoscalable Programming Languageβ317Updated last week
- Cone Programming Languageβ546Updated 2 years ago
- A portable programming language with a compact intermediate representationβ743Updated 2 years ago
- Dora VMβ505Updated this week
- β575Updated 2 years ago
- Forth for Rust's trait systemβ230Updated 5 years ago
- Modern low-level programming languageβ778Updated last year
- Performance comparison of parallel ray tracing in functional programming languagesβ307Updated 2 years ago
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraiβ¦β1,145Updated 7 months ago
- A compiler for Standard ML, somewhatβ203Updated 3 years ago
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.β830Updated last year
- We all know Rust's trait system is Turing complete, so tell me, why aren't we exploiting this???β372Updated 4 years ago
- An insanely simple self-hosted functional programming languageβ160Updated 6 years ago
- π§ (Alpha stage software) A declarative data definition language for formally specifying binary data formats. π§β266Updated 2 years ago
- comparing the c ffi (foreign function interface) overhead on various programming languagesβ685Updated 2 years ago
- A pure functional language for type-level programming in Rustβ336Updated 2 years ago
- Pointless: a scripting language for learning and funβ122Updated this week
- An interpreterβ183Updated 5 months ago
- The IntercalScript programming languageβ139Updated 5 years ago
- The compiler for Keliβ173Updated 6 years ago
- A minimalist, general-purpose programming language based on meta-programming and parse tree rewritesβ283Updated 2 years ago
- Rust implementation of the projects from the book Modern Compiler Implementation in MLβ145Updated 4 months ago
- A parser generator for visibly pushdown languages.β799Updated 6 months ago
- Functional language with intensional polymorphism and first-class staging.β940Updated last week