playXE / libimmixcons
Implementation of Immix Mark-Region Garbage collector written in Rust Programming Language.
☆37Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for libimmixcons
- Experimental Language based on Rust and Haskell☆51Updated 7 years ago
- A super-fast, stack-based virtual machine for dynamic languages☆53Updated last year
- hindley-milner algorithm☆53Updated last year
- Garbage collector implementation in Rust for Rust☆13Updated 4 years ago
- A strongly & statically typed systems level language focused on ease of use, portability and speed, built for the modern age.☆52Updated 3 years ago
- Glide is an interpreted javascript VM written entirely in safe rust.☆16Updated last year
- A WIP little dependently-typed systems language☆37Updated 2 months ago
- A (nearly) pure functional programming language.☆24Updated 5 years ago
- WLambda - Embeddable Scripting Language for Rust☆51Updated this week
- Macros have types!☆130Updated last year
- Garbage collector library☆24Updated 2 years ago
- Runtime with fast GC and easy concurrency.☆42Updated 3 years ago
- ☆91Updated last year
- An LLVM compiler for an ML-like language (written in Rust)☆56Updated 2 years ago
- Tutorial to learn to use the cranelift compiler backend☆24Updated 4 years ago
- Performance comparisons between various virtual interpreter implementation strategies☆31Updated 7 months ago
- Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust☆45Updated 8 years ago
- A statically-typed compiled language defined by a simple grammar☆23Updated 2 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- A lifetime inference algorithm for the Rust programming language written in Soufflé.☆24Updated 5 years ago
- ☆39Updated 3 years ago
- A no_std, zero-dependency crate for the creation and management of NaN-boxed types with Box-like semantics, tagged pointers and a macro i…☆19Updated 4 years ago
- ☆17Updated last year
- Hindley Milner Type Inference in Rust☆12Updated 7 years ago
- A safe and efficient target language for functional compilers☆19Updated 6 years ago
- A rust crate which implements nanboxing☆20Updated 7 years ago
- a concurrent compiled programming language☆15Updated 2 years ago
- A simple prolog implementation in Rust☆26Updated 3 years ago
- Rust testing framework for compilers and VMs☆49Updated 2 months ago