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β¦β107Updated 2 months ago
- 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!β132Updated 2 years ago
- A WIP little dependently-typed systems languageβ41Updated last year
- An LLVM compiler for an ML-like language (written in Rust)β61Updated 3 years ago
- Jazz - modern and fast programming language.β94Updated 3 years ago
- A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.β44Updated 9 years ago
- An experimental programming language for ergonomic software verificationβ16Updated 3 weeks ago
- Rotth is a stack based concatenative language highly inspired by Porthβ16Updated last year
- Functional language with a powerful type system.β172Updated last year
- A safe and efficient target language for functional compilersβ20Updated 7 years ago
- Cleaner, clearer JavaScript. A modern scripting language for the Web.β101Updated 2 years ago
- a concurrent compiled programming languageβ15Updated 3 years ago
- A statically-typed compiled language defined by a simple grammarβ24Updated 3 years ago
- Performance comparisons between various virtual interpreter implementation strategiesβ45Updated last year
- The Nox programming languageβ30Updated 2 years ago
- Just a list of Awesome Alt Langs to check outβ101Updated last year
- A Rust logic programming library inspired by the *Kanren family of language DSLs.β53Updated 7 months ago
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.htβ16Updated last year
- A gradually-typed, functional scripting language with a friendly syntax and interpreter written in Rust!β31Updated 3 years ago
- QBE IR in natural Rust data structuresβ115Updated last month
- β26Updated 2 years ago
- RustScript is a functional scripting language with as much relation to Rust as Javascript has to Java.β42Updated 2 years ago
- Rust testing framework for compilers and VMsβ51Updated 7 months ago
- Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"β117Updated 6 years ago
- JIT codegen backend with SSA IR based on B3 from WebKitβ62Updated last year
- GPU Accelerated, Distributed, Actor Model Language (WIP)β29Updated 2 years ago
- Interpreted language and bytecode VM of my own design written in Rust [Unmaintained]β29Updated 6 years ago