mmtk / mmtk-core
Memory Management ToolKit
☆425Updated 2 weeks ago
Alternatives and similar repositories for mmtk-core:
Users that are interested in mmtk-core are comparing it to the libraries listed below
- A new register allocator☆226Updated 2 months ago
- JIT compiler and runtime for a toy language, using Cranelift☆668Updated last year
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆216Updated 4 months ago
- Incremental garbage collection from safe Rust☆629Updated 2 weeks ago
- Rust grammar tool libraries and binaries☆534Updated this week
- ☆315Updated 4 months ago
- A meta-JIT library for Rust interpreters☆162Updated 2 years ago
- A precise specification for "Rust lite / MIR plus"☆841Updated last month
- LLVM IR in natural Rust data structures☆591Updated last week
- an educational compiler intermediate representation☆637Updated last week
- The rustic MLIR bindings in Rust☆388Updated this week
- Refinement Types for Rust☆697Updated this week
- Logic programming in Rust☆457Updated last week
- The arena, a fast but limited type of allocator☆531Updated 6 months ago
- a model of MIR and the Rust type/trait system☆296Updated 2 weeks ago
- ☆735Updated last week
- A dynasm-like tool for rust.☆744Updated this week
- Fast, efficient, and robust memory reclamation for Rust.☆405Updated 3 weeks ago
- Simple tracing (mark and sweep) garbage collector for Rust☆994Updated 3 months ago
- Programming Languages Intermediate Representation☆116Updated this week
- Compile-time reference counting☆441Updated last year
- Capability-oriented version of the Rust standard library☆676Updated last month
- Rust bindings to LLVM. (Mirror of https://gitlab.com/taricorp/llvm-sys.rs/)☆192Updated this week
- Beautiful diagnostic reporting for text-based programming languages.☆1,135Updated this week
- Rust mid-level IR Abstract Interpreter☆1,001Updated 6 months ago
- Creusot helps you prove your code is correct in an automated fashion.☆1,219Updated this week
- An ergonomic tracing garbage collector that supports mark 'n sweep garbage collection☆252Updated 2 years ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,240Updated this week
- Research WebAssembly Engine☆407Updated this week
- Test and benchmark suite for sort implementations.☆381Updated 2 weeks ago