scala-native / immix
Pluggable implementation of Immix garbage collector.
☆51Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for immix
- A cross-platform implementation of the Immix Garbage Collector☆77Updated 10 years ago
- Implementation of Immix Mark-Region Garbage collector written in Rust Programming Language.☆37Updated 3 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 8 years ago
- Structurally-typed strict functional core language☆19Updated 9 months ago
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆30Updated last year
- We have moved: https://gitlab.anu.edu.au/mu/mu-spec☆26Updated 8 years ago
- Let's (possibly) build a JIT!☆29Updated 11 months ago
- Hindley Milner Type Inference in Rust☆12Updated 7 years ago
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆79Updated 4 years ago
- Optimized JS codegen for Idris☆54Updated 6 years ago
- Dependently-typed row-polymorphic programming language, evolved from minitt-rs☆95Updated 4 years ago
- The language of the future!☆72Updated 10 months ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆51Updated 7 months ago
- A statically-typed compiled language defined by a simple grammar☆23Updated 2 years ago
- Example to use Boehm GC on LLVM IR.☆16Updated 7 years ago
- Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust☆45Updated 8 years ago
- The MLPolyR programming language, revived☆24Updated 4 years ago
- Self-hosting compiler for the Grace programming language☆39Updated 5 months ago
- Simple C Haskell Compiler☆22Updated last year
- ☆11Updated 3 months ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆111Updated 11 months ago
- Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust☆116Updated 4 years ago
- RRB-Trees: Efficient Immutable Vectors☆50Updated 12 years ago
- Scheme on SECD☆42Updated 3 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 5 years ago
- type-system, revised unification algorithm and runtime time representations☆14Updated 4 years ago
- SPSC: A Small Positive Supercompiler☆32Updated 5 months ago
- An implementation of Oz on top of Truffle and Graal☆41Updated 2 years ago