transistorfet / moltenLinks
An LLVM compiler for an ML-like language (written in Rust)
☆61Updated 3 years ago
Alternatives and similar repositories for molten
Users that are interested in molten are comparing it to the libraries listed below
Sorting:
- Tox is a statically typed version programming language that is written in rust.☆38Updated 2 years ago
- hindley-milner algorithm☆62Updated 2 years ago
- a concurrent compiled programming language☆15Updated 3 years ago
- Jazz - modern and fast programming language.☆94Updated 3 years ago
- A gradually typed language originally based on the crafting interpreters series☆64Updated 3 months 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 super-fast, stack-based virtual machine for dynamic languages☆72Updated 8 months ago
- Native language with Rust & LLVM☆73Updated 2 years ago
- 👌 A smol functional language that targets other languages☆65Updated last year
- Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compile…☆108Updated 3 months ago
- Implementation of Immix Mark-Region Garbage collector written in Rust Programming Language.☆37Updated 4 years ago
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated 2 years ago
- A Hindley-Milner polymorphic typing system☆60Updated last year
- A meta-JIT library for Rust interpreters☆165Updated 2 years ago
- ☆39Updated 4 years ago
- A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.☆44Updated 9 years ago
- Macros have types!☆133Updated 2 years ago
- Pratt parser written in Rust☆91Updated 2 years ago
- A statically-typed compiled language defined by a simple grammar☆24Updated 3 years ago
- A gradually-typed, functional scripting language with a friendly syntax and interpreter written in Rust!☆31Updated 3 years ago
- Jazz - register-based virtual machine and programming language☆27Updated 6 years ago
- A WIP little dependently-typed systems language☆41Updated last year
- A fully-featured lexer generator, implemented as a proc macro☆71Updated 5 months ago
- You _can_ put lipstick on a pig☆90Updated 3 years ago
- Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust☆46Updated 9 years ago
- 🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧☆266Updated 2 years ago
- ☆60Updated 4 years ago
- Performance comparisons between various virtual interpreter implementation strategies☆45Updated last year
- A rust interpreter for the Lox language☆26Updated 5 years ago
- 🐕 A little programming language written in Rust☆57Updated 4 years ago