mmtk / mmtk-core
Memory Management ToolKit
☆379Updated 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for mmtk-core
- A new register allocator☆218Updated last week
- LLVM IR in natural Rust data structures☆550Updated 6 months ago
- Incremental garbage collection from safe Rust☆540Updated 2 months ago
- JIT compiler and runtime for a toy language, using Cranelift☆645Updated last year
- ☆310Updated 3 weeks ago
- Capability-oriented version of the Rust standard library☆662Updated this week
- Rust grammar tool libraries and binaries☆516Updated 2 weeks ago
- A meta-JIT library for Rust interpreters☆159Updated last year
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆213Updated 3 weeks ago
- A precise specification for "Rust lite / MIR plus"☆818Updated this week
- a model of MIR and the Rust type/trait system☆285Updated last month
- A dynasm-like tool for rust.☆721Updated this week
- Logic programming in Rust☆416Updated last week
- an educational compiler intermediate representation☆574Updated 3 weeks ago
- Refinement Types for Rust☆656Updated this week
- General-purpose abstractions for incremental computing, in Rust☆346Updated 2 years ago
- Research WebAssembly Engine☆379Updated this week
- Resilient LL(1) parser generator for Rust☆124Updated last month
- The rustic MLIR bindings in Rust☆325Updated this week
- Fast, efficient, and robust memory reclamation for Rust.☆385Updated this week
- Cycle-tracking garbage collector library for Rust☆162Updated 2 months ago
- Simple tracing (mark and sweep) garbage collector for Rust☆973Updated 4 months ago
- Compile-time reference counting☆437Updated last year
- ☆712Updated last week
- The arena, a fast but limited type of allocator☆521Updated 3 months ago
- RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.☆274Updated 2 years ago
- A fast bump allocation arena for Rust☆1,443Updated 2 months ago
- Beautiful diagnostic reporting for text-based programming languages.☆1,111Updated 4 months ago
- Use Tree Sitter to parse your own languages in Rust☆613Updated 3 weeks ago
- Datalog compiler embedded in Rust as a procedural macro☆463Updated 8 months ago