clflushopt / coldbrew
Tracing JIT compiler and runtime for a subset of the JVM
☆24Updated last year
Alternatives and similar repositories for coldbrew:
Users that are interested in coldbrew are comparing it to the libraries listed below
- world's worst interpreter☆60Updated last week
- An experimental optimizing compiler for Bril☆66Updated this week
- Modeling futexes in TLA+☆20Updated 7 months ago
- Compiler Optimizations Playground☆27Updated 4 years ago
- An educational implementation of a modern compressor in Rust☆47Updated last year
- Debugging WebAssembly? Put some Whamm! on it.☆28Updated this week
- Implementation of destination-driven code generation with control destinations. See [post.md](post.md)☆24Updated 5 months ago
- Simple conservative GC using mimalloc☆40Updated 2 years ago
- ☆58Updated 7 months ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆101Updated 2 years ago
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆80Updated last year
- ☆61Updated this week
- ☆22Updated 4 months ago
- The Solid-State Register Allocator☆85Updated 2 years ago
- Hindley–Milner Type inferencing in C☆48Updated 2 years ago
- Memory Management ToolKit☆34Updated last week
- ☆23Updated 3 years ago
- ☆12Updated 8 months ago
- The Pulse separation logic DSL for F*☆16Updated last week
- Zig Optimizing Backend☆20Updated this week
- ☆38Updated 4 years ago
- Decompose source code into templates and fragments for any language.☆21Updated 2 years ago
- mirror: GC implementation in Rust: http://ts.data61.csiro.au/publications/nictaabstracts/Lin_BHN_16.abstract.pml☆36Updated 8 years ago
- A CHIP-8 emulator in C.☆18Updated 2 years ago
- wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata☆36Updated 8 months ago
- Deterministic simulation of concurrency and failure in distributed systems☆35Updated 8 months ago
- Fast WebAssembly Baseline Compiler☆56Updated last year
- An arbitrary-precision floating-point library in Rust☆45Updated last week
- A lifetime inference algorithm for the Rust programming language written in Soufflé.☆24Updated 5 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆21Updated last year