ditto-lang / dittoLinks
π A smol functional language that targets other languages
β63Updated 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β62Updated 2 years ago
- Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compileβ¦β103Updated 2 weeks ago
- Macros have types!β131Updated 2 years ago
- A programming language somewhat resembling cellular processes.β34Updated 3 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
- A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.β44Updated 9 years ago
- A WIP little dependently-typed systems languageβ41Updated last year
- An LLVM compiler for an ML-like language (written in Rust)β59Updated 3 years ago
- Functional language with a powerful type system.β172Updated last year
- Jazz - modern and fast programming language.β94Updated 3 years ago
- An experimental programming language for ergonomic software verificationβ16Updated 2 months ago
- A safe and efficient target language for functional compilersβ20Updated 7 years ago
- A statically-typed compiled language defined by a simple grammarβ24Updated 2 years ago
- Rust testing framework for compilers and VMsβ51Updated 5 months ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.β52Updated 5 months ago
- β26Updated last year
- Rotth is a stack based concatenative language highly inspired by Porthβ16Updated last year
- An interpreter for the 1991 Oriel scripting languageβ58Updated last year
- π j is a subset of J, and an essay.β46Updated 3 weeks ago
- Cleaner, clearer JavaScript. A modern scripting language for the Web.β99Updated 2 years ago
- Performance comparisons between various virtual interpreter implementation strategiesβ44Updated last year
- π§ (Alpha stage software) A declarative data definition language for formally specifying binary data formats. π§β264Updated last year
- Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rustβ46Updated 9 years ago
- Wait, another virtual machine ?β62Updated 4 years ago
- Garbage collector implementation in Rust for Rustβ13Updated 4 years ago
- A highly experiment portable runtimeβ20Updated last year
- Logic programming, for Rust, from inside Rust.β42Updated 5 years ago
- π¦Ύ Mech is a programming language for building data-driven systems like robots, games, and interfaces. Start here!β234Updated last week
- a concurrent compiled programming languageβ15Updated 3 years ago
- A gradually-typed, functional scripting language with a friendly syntax and interpreter written in Rust!β31Updated 3 years ago