scala-native / immix
Pluggable implementation of Immix garbage collector.
☆50Updated 7 years ago
Alternatives and similar repositories for immix:
Users that are interested in immix are comparing it to the libraries listed below
- Memory Management ToolKit☆33Updated last month
- Implementation of Immix Mark-Region Garbage collector written in Rust Programming Language.☆37Updated 4 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 8 years ago
- Hindley Milner Type Inference in Rust☆12Updated 7 years ago
- Pragmatic functional programming language☆10Updated 8 years ago
- Ikko language☆26Updated 4 years ago
- Strongtalk VM☆101Updated 3 years ago
- A garbage collector for Crystal☆97Updated 9 months ago
- ☆85Updated 4 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 5 years ago
- SPSC: A Small Positive Supercompiler☆34Updated 9 months ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 3 years ago
- Tools for MIL, a Monadic Intermediate Language☆21Updated 5 months ago
- ☆39Updated 7 months ago
- Self-hosting compiler for the Grace programming language☆39Updated 9 months ago
- Strict Haskell-like programming language that compiles to LLVM☆70Updated 5 years ago
- The MLPolyR programming language, revived☆24Updated 4 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆115Updated last year
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆51Updated 11 months ago
- A WIP little dependently-typed systems language☆41Updated 7 months ago
- Hindley-Milner type inference using constraints☆50Updated 8 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆42Updated 5 years ago
- Kempe is a compiled stack-based language☆58Updated 5 months ago
- Compiler and tools for the L programming language☆72Updated 10 months ago
- A statically-typed compiled language defined by a simple grammar☆24Updated 2 years ago
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆80Updated 4 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆89Updated 6 years ago
- Structurally-typed strict functional core language☆19Updated 3 months ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-spec☆26Updated 8 years ago