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β60Updated last year
- 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
- β26Updated last year
- A strongly & statically typed systems level language focused on ease of use, portability and speed, built for the modern age.β53Updated 3 years ago
- A highly experiment portable runtimeβ19Updated last year
- Rotth is a stack based concatenative language highly inspired by Porthβ16Updated last year
- A WIP little dependently-typed systems languageβ41Updated 9 months ago
- A safe and efficient target language for functional compilersβ20Updated 7 years ago
- Performance comparisons between various virtual interpreter implementation strategiesβ42Updated last year
- A (nearly) pure functional programming language.β25Updated 6 years ago
- An experimental programming language for ergonomic software verificationβ16Updated this week
- An interface for writing a RustTypeChecker.β43Updated 2 years ago
- Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compileβ¦β88Updated last month
- A simple programming language for researching different ways of program execution and compilationβ32Updated 7 months ago
- experimental auto-currying for rust functionsβ32Updated 5 years ago
- Logic programming, for Rust, from inside Rust.β42Updated 5 years ago
- Macros have types!β129Updated 2 years ago
- Cleaner, clearer JavaScript. A modern scripting language for the Web.β99Updated 2 years ago
- A me maintained zub-vm fork. A super-fast, stack-based virtual machine for dynamic languagesβ12Updated last year
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.htβ16Updated last year
- Type-Level Programming in Rustβ27Updated 3 years ago
- Ahnfelt's Type Inference by Example but implemented in Gleamβ12Updated last year
- a concurrent compiled programming languageβ15Updated 2 years ago
- Just a list of Awesome Alt Langs to check outβ99Updated last year
- A statically-typed compiled language defined by a simple grammarβ24Updated 2 years ago
- A general purpose statically-typed concatenative programming language.β54Updated 2 years ago
- A Hindley-Milner polymorphic typing systemβ58Updated last year
- Bootstrap compiler for Fireflyβ55Updated this week
- JIT codegen backend with SSA IR based on B3 from WebKitβ62Updated last year