mmtk / mmtk-core
Memory Management ToolKit
☆433Updated this week
Alternatives and similar repositories for mmtk-core:
Users that are interested in mmtk-core are comparing it to the libraries listed below
- JIT compiler and runtime for a toy language, using Cranelift☆675Updated last year
- Incremental garbage collection from safe Rust☆679Updated 3 weeks ago
- a model of MIR and the Rust type/trait system☆298Updated last month
- LLVM IR in natural Rust data structures☆596Updated last month
- an educational compiler intermediate representation☆654Updated last month
- Rust grammar tool libraries and binaries☆540Updated this week
- A new register allocator☆229Updated this week
- ☆316Updated 5 months ago
- Programming Languages Intermediate Representation☆160Updated this week
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆218Updated 5 months ago
- Fast, efficient, and robust memory reclamation for Rust.☆410Updated 2 months ago
- A precise specification for "Rust lite / MIR plus"☆842Updated this week
- Logic programming in Rust☆460Updated last month
- Refinement Types for Rust☆720Updated this week
- The arena, a fast but limited type of allocator☆538Updated 8 months ago
- A meta-JIT library for Rust interpreters☆162Updated 2 years ago
- Creusot helps you prove your code is correct in an automated fashion.☆1,242Updated this week
- The rustic MLIR bindings in Rust☆394Updated last week
- Simple tracing (mark and sweep) garbage collector for Rust☆1,006Updated 4 months ago
- Rust bindings to LLVM. (Mirror of https://gitlab.com/taricorp/llvm-sys.rs/)☆196Updated last month
- ☆747Updated last month
- Research WebAssembly Engine☆411Updated this week
- A dynasm-like tool for rust.☆757Updated last month
- Capability-oriented version of the Rust standard library☆682Updated 2 weeks ago
- Resilient LL(1) parser generator for Rust☆139Updated this week
- Use Tree Sitter to parse your own languages in Rust☆640Updated last month
- Compile-time reference counting☆442Updated last year
- Rust mid-level IR Abstract Interpreter☆1,002Updated 7 months ago
- egraphs + datalog!☆523Updated this week
- Dora VM☆502Updated this week