transistorfet / moltenLinks
An LLVM compiler for an ML-like language (written in Rust)
☆62Updated 3 years ago
Alternatives and similar repositories for molten
Users that are interested in molten are comparing it to the libraries listed below
Sorting:
- hindley-milner algorithm☆62Updated 2 years ago
- Tox is a statically typed version programming language that is written in rust.☆38Updated 2 years ago
- Jazz - modern and fast programming language.☆95Updated 3 years ago
- A gradually typed language originally based on the crafting interpreters series☆65Updated 5 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☆73Updated 10 months ago
- JIT codegen backend with SSA IR based on B3 from WebKit☆64Updated 2 years ago
- a concurrent compiled programming language☆15Updated 3 years ago
- 👌 A smol functional language that targets other languages☆66Updated last year
- A Hindley-Milner polymorphic typing system☆60Updated 2 years ago
- ☆39Updated 4 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
- Native language with Rust & LLVM☆72Updated 2 years ago
- A meta-JIT library for Rust interpreters☆164Updated 2 years ago
- Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust☆46Updated 9 years ago
- ☆94Updated 2 years ago
- Macros have types!☆134Updated 2 years ago
- A statically-typed compiled language defined by a simple grammar☆24Updated 3 years ago
- Experimental Language based on Rust and Haskell☆54Updated 9 years ago
- Implementation of Immix Mark-Region Garbage collector written in Rust Programming Language.☆37Updated 4 years ago
- A WIP little dependently-typed systems language☆41Updated last year
- Performance comparisons between various virtual interpreter implementation strategies☆46Updated last year
- Rust testing framework for compilers and VMs☆51Updated 10 months ago
- A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.☆43Updated 9 years ago
- 🧙♂️A small programming language with static typing and native compilation, selfhosted☆51Updated this week
- QBE IR in natural Rust data structures☆118Updated last month
- A rust interpreter for the Lox language☆26Updated 5 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 4 years ago
- Oxide Programming Language☆138Updated 3 years ago
- A gradually-typed, functional scripting language with a friendly syntax and interpreter written in Rust!☆31Updated 4 years ago