Cypher1 / tako
An experimental programming language for ergonomic software verification
☆15Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for tako
- Experimental JIT compiler generator☆25Updated 7 months ago
- Garbage collector implementation in Rust for Rust☆13Updated 4 years ago
- a concurrent compiled programming language☆15Updated 2 years ago
- 🗃 UTF-8 string, byte string, and C string interner☆26Updated this week
- Performance comparisons between various virtual interpreter implementation strategies☆31Updated 7 months ago
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Updated 3 years ago
- dom-like layout for terminal applications☆12Updated 3 years ago
- A simple macro to create correct opaque pointers☆22Updated 3 years ago
- A newtype wrapper that causes Debug impls to skip a field.☆20Updated last year
- a query language for filtering tracing spans and events☆12Updated 2 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- An alternative `std`-like implementation built on origin☆24Updated last month
- Grammar framework.☆12Updated 4 years ago
- Visualise recursive functions and tree structures.☆30Updated 3 years ago
- a BOCU-1 encoder/decoder library in rust☆18Updated last year
- An async allocator with Fun™️ unsafe Rust☆18Updated last year
- MnemOS Global Networking Protocol☆16Updated 9 months ago
- Ambient Authority☆19Updated last year
- Exhaustive iteration trait in Rust☆13Updated last month
- A Result type that differentiates between local errors (which can be handled) and fatal errors (which can't)☆14Updated 2 years ago
- Type-Level Programming in Rust☆26Updated 2 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 2 years ago
- Unleash the power of nightly Rust to write code that's generic over mutation!☆24Updated 3 years ago
- A prototype of my proposed name resolution algorithm for Rust.☆12Updated 8 years ago
- Experimenting with ergonomic dyn types☆29Updated 2 years ago
- Rust bindings for libgccjit☆18Updated last month
- ☆22Updated 2 years ago
- Atomic `dbg`/`eprintln`/`eprint` macros☆17Updated 9 months ago
- Thin but safe Linux interface☆11Updated last year