ditto-lang / dittoLinks
π A smol functional language that targets other languages
β62Updated last year
Alternatives and similar repositories for ditto
Users that are interested in ditto are comparing it to the libraries listed below
Sorting:
- hindley-milner algorithmβ61Updated 2 years ago
- Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compileβ¦β101Updated 3 weeks 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
- A programming language somewhat resembling cellular processes.β34Updated 3 years ago
- A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.β44Updated 9 years ago
- Macros have types!β131Updated 2 years ago
- An LLVM compiler for an ML-like language (written in Rust)β59Updated 3 years ago
- Functional language with a powerful type system.β171Updated last year
- Rotth is a stack based concatenative language highly inspired by Porthβ16Updated last year
- Jazz - modern and fast programming language.β93Updated 3 years ago
- Performance comparisons between various virtual interpreter implementation strategiesβ42Updated last year
- A WIP little dependently-typed systems languageβ41Updated 11 months ago
- An experimental programming language for ergonomic software verificationβ16Updated 2 months ago
- An interpreter for the 1991 Oriel scripting languageβ57Updated last year
- A statically-typed compiled language defined by a simple grammarβ24Updated 2 years ago
- A safe and efficient target language for functional compilersβ20Updated 7 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.β52Updated 4 months ago
- A highly experiment portable runtimeβ20Updated last year
- A me maintained zub-vm fork. A super-fast, stack-based virtual machine for dynamic languagesβ12Updated last year
- Just a list of Awesome Alt Langs to check outβ101Updated last year
- An interface for writing a RustTypeChecker.β43Updated 2 years ago
- Rust testing framework for compilers and VMsβ51Updated 5 months ago
- π§ (Alpha stage software) A declarative data definition language for formally specifying binary data formats. π§β264Updated last year
- JIT codegen backend with SSA IR based on B3 from WebKitβ62Updated last year
- (WIP) A programming languageβ42Updated 6 months ago
- Zesterer's Text Editorβ30Updated last month
- QBE IR in natural Rust data structuresβ115Updated last week
- Tox is a statically typed version programming language that is written in rust.β38Updated 2 years ago
- A Hindley-Milner polymorphic typing systemβ59Updated last year
- WLambda - Embeddable Scripting Language for Rustβ54Updated 2 months ago