ditto-lang / dittoLinks
π A smol functional language that targets other languages
β66Updated 2 years ago
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β¦β113Updated 5 months 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
- Macros have types!β134Updated 2 years ago
- Jazz - modern and fast programming language.β95Updated 3 years ago
- A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.β43Updated 9 years ago
- A WIP little dependently-typed systems languageβ41Updated last year
- A gradually-typed, functional scripting language with a friendly syntax and interpreter written in Rust!β31Updated 4 years ago
- An LLVM compiler for an ML-like language (written in Rust)β62Updated 3 years ago
- Functional language with a powerful type system.β172Updated last year
- RustScript is a functional scripting language with as much relation to Rust as Javascript has to Java.β43Updated 2 years ago
- A statically-typed compiled language defined by a simple grammarβ24Updated 3 years ago
- Performance comparisons between various virtual interpreter implementation strategiesβ46Updated last year
- a concurrent compiled programming languageβ15Updated 3 years ago
- An interpreter for the 1991 Oriel scripting languageβ58Updated 2 years ago
- A safe and efficient target language for functional compilersβ20Updated 7 years ago
- Just a list of Awesome Alt Langs to check outβ102Updated last year
- A highly experiment portable runtimeβ21Updated last year
- β26Updated 2 years ago
- An experimental programming language for ergonomic software verificationβ16Updated 2 months ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.β54Updated 10 months ago
- okta programming language compiler. THIS IS A MIRROR OF THE ORIGINAL REPO HOSTED IN SOURCEHUT.β28Updated 3 years ago
- π¦Ύ Mech is a programming language for building data-driven systems like robots, games, and interfaces. Start here!β256Updated 3 weeks ago
- A MinCaml compiler implemented in Rustβ44Updated 2 years ago
- A Hindley-Milner polymorphic typing systemβ60Updated 2 years ago
- A functional programming languageβ48Updated 5 years ago
- Tox is a statically typed version programming language that is written in rust.β39Updated 3 years ago
- Exploring the "expression problem" in Rustβ50Updated 3 years ago
- my personal langβ17Updated 2 years ago