Cypher1 / takoLinks
An experimental programming language for ergonomic software verification
β16Updated last month
Alternatives and similar repositories for tako
Users that are interested in tako are comparing it to the libraries listed below
Sorting:
- a concurrent compiled programming languageβ15Updated 3 years ago
- π A smol functional language that targets other languagesβ62Updated last year
- Garbage collector implementation in Rust for Rustβ13Updated 4 years ago
- A statically-typed compiled language defined by a simple grammarβ24Updated 2 years ago
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.β14Updated 3 years ago
- yk packagesβ33Updated last week
- Error return tracing in Rust. Still WIPβ11Updated 3 years ago
- WLambda - Embeddable Scripting Language for Rustβ54Updated last month
- Rust testing framework for compilers and VMsβ51Updated 4 months ago
- Experimenting with ergonomic dyn typesβ29Updated 3 years ago
- Sruth LΓΉbach: A toy optimization engineβ23Updated 4 years ago
- Type-Level Programming in Rustβ27Updated 3 years ago
- A programming language somewhat resembling cellular processes.β34Updated 3 years ago
- Performance comparisons between various virtual interpreter implementation strategiesβ42Updated last year
- The Riptide Programming Language: Shell scripting redesigned.β31Updated 10 months ago
- A safe and efficient target language for functional compilersβ20Updated 7 years ago
- Ultra-compact storage for collections of enums π±β22Updated 2 years ago
- A strongly & statically typed systems level language focused on ease of use, portability and speed, built for the modern age.β53Updated 4 years ago
- JIT codegen backend with SSA IR based on B3 from WebKitβ62Updated last year
- An LLVM compiler for an ML-like language (written in Rust)β59Updated 3 years ago
- A simple prolog implementation in Rustβ26Updated 4 years ago
- Experimental JIT compiler generatorβ27Updated last year
- Zero overhead tracing garbage collection for rust (WIP)β50Updated last year
- Passerine's package manager.β22Updated 2 years ago
- A functional scripting language.β18Updated 5 months ago
- A Result type that differentiates between local errors (which can be handled) and fatal errors (which can't)β15Updated 3 years ago
- Basically the C programming language peppered with my preferencesβ12Updated last month
- dom-like layout for terminal applicationsβ13Updated 4 years ago
- Rust BF interpretersβ12Updated last year
- Macros have types!β129Updated 2 years ago