ditto-lang / dittoLinks
π A smol functional language that targets other languages
β64Updated last year
Alternatives and similar repositories for ditto
Users that are interested in ditto are comparing it to the libraries listed below
Sorting:
- Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compileβ¦β105Updated last month
- hindley-milner algorithmβ62Updated 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
- Macros have types!β131Updated 2 years ago
- Functional language with a powerful type system.β172Updated last year
- An LLVM compiler for an ML-like language (written in Rust)β60Updated 3 years ago
- A WIP little dependently-typed systems languageβ41Updated last year
- An experimental programming language for ergonomic software verificationβ16Updated this week
- Performance comparisons between various virtual interpreter implementation strategiesβ45Updated last year
- A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.β44Updated 9 years ago
- A statically-typed compiled language defined by a simple grammarβ24Updated 3 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.β52Updated 6 months ago
- QBE IR in natural Rust data structuresβ115Updated 3 weeks ago
- Jazz - modern and fast programming language.β94Updated 3 years ago
- Type-Level Programming in Rustβ28Updated 3 years ago
- A safe and efficient target language for functional compilersβ20Updated 7 years ago
- β26Updated last year
- Rotth is a stack based concatenative language highly inspired by Porthβ16Updated last year
- A Hindley-Milner polymorphic typing systemβ59Updated last year
- Cleaner, clearer JavaScript. A modern scripting language for the Web.β101Updated 2 years ago
- π j is a subset of J, and an essay.β47Updated 2 months ago
- π¦Ύ Mech is a programming language for building data-driven systems like robots, games, and interfaces. Start here!β245Updated last month
- A highly experiment portable runtimeβ20Updated last year
- A functional scripting language.β17Updated 8 months ago
- An interpreter for the 1991 Oriel scripting languageβ58Updated last year
- An interface for writing a RustTypeChecker.β43Updated 2 years ago
- π§ (Alpha stage software) A declarative data definition language for formally specifying binary data formats. π§β264Updated 2 years ago
- JIT codegen backend with SSA IR based on B3 from WebKitβ62Updated last year
- Zesterer's Text Editorβ31Updated last week