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
- Hindley Milner Type Inference in Rust☆12Updated 7 years ago
- Example to use Boehm GC on LLVM IR.☆16Updated 7 years ago
- An implementation of Oz on top of Truffle and Graal☆41Updated 2 years ago
- Strongtalk VM☆100Updated 3 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆50Updated 7 months ago
- Alternative algorithm for algebraic subtyping.☆149Updated 2 weeks ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 8 years ago
- The language of the future!☆72Updated 10 months ago
- ☆85Updated 3 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆111Updated 11 months ago
- Structurally-typed strict functional core language☆19Updated this week
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆30Updated 4 months ago
- Hindley-Milner Type Inference implemented in (although not for) Python.☆88Updated 2 years ago
- My Own Linear Lisp☆37Updated 6 years ago
- Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust☆45Updated 8 years ago
- Strict Haskell-like programming language that compiles to LLVM☆70Updated 5 years ago
- A (nearly) pure functional programming language.☆24Updated 5 years ago
- Dependently-typed row-polymorphic programming language, evolved from minitt-rs☆95Updated 4 years ago
- Normalization by evaluation for Martin-Löf Type Theory with dependent records☆92Updated 2 years ago
- The Higher-Order Intermediate Representation☆151Updated this week
- Charity Programming Language☆38Updated 9 years ago
- Editor for language composition☆56Updated last year
- PackCC is a packrat parser generator for C.☆22Updated 5 years ago
- A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages☆68Updated 7 years ago
- Book: Introduction to Dependent Types with Idris☆76Updated last year
- Self-hosting compiler for the Grace programming language☆39Updated 5 months ago
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆25Updated 2 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-spec☆26Updated 8 years ago