doctorn / micro-mitten
You might not need your garbage collector
☆536Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for micro-mitten
- A functional programming language with static memory management☆841Updated this week
- A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧☆610Updated 3 years ago
- A small extensible programming language designed for concise expression with little code.☆1,051Updated 2 months ago
- Compiler for the Mirth programming language.☆447Updated 3 months ago
- 🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C☆1,600Updated 2 years ago
- ☆556Updated last year
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,092Updated last year
- A research programming language on top of C macros☆7Updated this week
- We all know Rust's trait system is Turing complete, so tell me, why aren't we exploiting this???☆364Updated 3 years ago
- Cone Programming Language☆529Updated last year
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆812Updated 7 months ago
- A fast functional language based on two level type theory☆388Updated last year
- A Standard ML Compiler for the Web☆385Updated 2 years ago
- Dora VM☆495Updated this week
- A lightweight Datalog engine in Rust☆801Updated 2 years ago
- JIT compiler and runtime for a toy language, using Cranelift☆642Updated last year
- Pointless: a scripting language for learning and fun☆122Updated 4 years ago
- A compiler for Standard ML, somewhat☆201Updated 2 years ago
- Systems language with linear types and capability-based security.☆1,123Updated 4 months ago
- a (WIP) Rust frontend for gcc / a gcc backend for rustc☆203Updated 3 years ago
- Performance comparison of parallel ray tracing in functional programming languages☆304Updated last year
- Forth for Rust's trait system☆226Updated 4 years ago
- A pure functional language for type-level programming in Rust☆323Updated 2 years ago
- A parser generator for visibly pushdown languages.☆746Updated last year
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,846Updated 3 weeks ago
- Autoscalable Programming Language☆306Updated this week
- (Toy) Compiler Infrastructure influenced by LLVM written in Rust☆396Updated 3 years ago
- 🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧☆259Updated last year
- The GameLisp scripting language☆395Updated 2 years ago
- An insanely simple self-hosted functional programming language☆152Updated 5 years ago