doctorn / micro-mitten
You might not need your garbage collector
β534Updated 4 years ago
Related projects: β
- A friendly little systems language with first-class types. Very WIP! π§ π§ π§β610Updated 3 years ago
- A dependently-typed programming language with static memory managementβ839Updated this week
- A small extensible programming language designed for concise expression with little code.β1,038Updated last week
- Compiler for the Mirth programming language.β445Updated last month
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraiβ¦β1,089Updated 11 months ago
- πΊπ ZetZ a zymbolic verifier and tranzpiler to bare metal Cβ1,600Updated 2 years ago
- β549Updated last year
- A fast functional language based on two level type theoryβ388Updated last year
- Dora VMβ485Updated this week
- Cone Programming Languageβ523Updated last year
- We all know Rust's trait system is Turing complete, so tell me, why aren't we exploiting this???β358Updated 3 years ago
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.β811Updated 5 months ago
- Systems language with linear types and capability-based security.β1,111Updated 2 months ago
- A lightweight Datalog engine in Rustβ795Updated 2 years ago
- A research programming language on top of C macrosβ8Updated 5 months ago
- π§ (Alpha stage software) A declarative data definition language for formally specifying binary data formats. π§β260Updated last year
- JIT compiler and runtime for a toy language, using Craneliftβ638Updated last year
- Modern low-level programming languageβ769Updated 4 months ago
- Functional programming with fewer indirectionsβ758Updated 4 years ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.β1,019Updated last year
- A Standard ML Compiler for the Webβ383Updated last year
- The compiler for Keliβ171Updated 5 years ago
- Beautiful diagnostic reporting for text-based programming languages.β1,080Updated 2 months ago
- Hazel, a live functional programming environment with typed holesβ744Updated this week
- A minimalist, general-purpose programming language based on meta-programming and parse tree rewritesβ270Updated last year
- A pure functional language for type-level programming in Rustβ320Updated last year
- Datalog compiler embedded in Rust as a procedural macroβ452Updated 6 months ago
- A statically typed concatenative systems programming language.β1,092Updated last year
- Simple verification of Rust programs via functional purification in Lean 2(!)β331Updated 7 years ago
- A parser generator for visibly pushdown languages.β741Updated 10 months ago