mmtk / mmtk-coreLinks
Memory Management ToolKit
☆470Updated last week
Alternatives and similar repositories for mmtk-core
Users that are interested in mmtk-core are comparing it to the libraries listed below
Sorting:
- An Extensible Compiler IR Framework☆224Updated last week
- A new register allocator☆243Updated 3 weeks ago
- Incremental garbage collection from safe Rust☆781Updated this week
- JIT compiler and runtime for a toy language, using Cranelift☆716Updated last month
- Rust grammar tool libraries and binaries☆566Updated last week
- Logic programming in Rust☆522Updated last month
- A meta-JIT library for Rust interpreters☆165Updated 2 years ago
- LLVM IR in natural Rust data structures☆652Updated 6 months ago
- a model of MIR and the Rust type/trait system☆319Updated 3 weeks ago
- A precise specification for "Rust lite / MIR plus"☆945Updated last week
- The rustic MLIR bindings in Rust☆448Updated last week
- egraphs + datalog!☆648Updated this week
- Pair your compilers up at The ABI Cafe!☆283Updated 5 months ago
- Refinement Types for Rust☆802Updated this week
- Research WebAssembly Engine☆466Updated this week
- Resilient LL(1) parser generator for Rust☆182Updated 2 weeks ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆230Updated last year
- an educational compiler intermediate representation☆723Updated 3 weeks ago
- ☆801Updated 4 months ago
- Cycle-tracking garbage collector library for Rust☆203Updated last month
- ☆325Updated last month
- 🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧☆266Updated 2 years ago
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆663Updated 5 months ago
- ☆264Updated last year
- I speak only of myself since I do not wish to convince, I have no right to drag others into my river, I oblige no one to follow me and ev…☆484Updated 6 months ago
- egg is a flexible, high-performance e-graph library☆1,621Updated this week
- Interface with the rustc compiler for the purpose of program verification☆240Updated this week
- Compile-time reference counting☆456Updated 6 months ago
- LL(k) and LALR(1) parser generator for Rust☆232Updated last week
- General-purpose abstractions for incremental computing, in Rust☆361Updated 3 years ago