millimat / Soft-HeapLinks
Implementation of Kaplan and Zwick's soft heap. Collaboration with Alex Hollender.
☆13Updated 8 years ago
Alternatives and similar repositories for Soft-Heap
Users that are interested in Soft-Heap are comparing it to the libraries listed below
Sorting:
- Just for fun riscv64 emulator, which boots the Linux.☆41Updated 2 years ago
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆16Updated 2 months ago
- Tracing JIT compiler and runtime for a subset of the JVM☆24Updated last year
- Fast WebAssembly Baseline Compiler☆56Updated 2 years ago
- A fast implementation of log() and exp()☆53Updated 2 years ago
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆30Updated 11 years ago
- Source for the OpenCilk runtime system, based on Cheetah.☆22Updated this week
- MimIR is my Intermediate Representation☆68Updated this week
- Lean4 backend using `libgccjit`!☆11Updated last year
- Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research☆13Updated 3 weeks ago
- ☆28Updated 2 years ago
- A low-latency malloc implementation☆25Updated 4 years ago
- benchmarking e-graph extraction☆44Updated last month
- Hyaline Reclamation (PLDI '21, PODC '19)☆22Updated 3 years ago
- Memory Management ToolKit☆35Updated last month
- egg is a flexible, high-performance e-graph library☆12Updated last year
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆108Updated 10 months ago
- berlin windowing system -- historical snapshot☆14Updated last year
- A header-only C++ library for writing compiler/interpreter frontends.☆14Updated last week
- Lace - implementation of work-stealing in C☆37Updated last year
- A Scalable, Portable, and Memory-Efficient Lock-Free FIFO Queue (DISC '19)☆60Updated last year
- RUst way for Reuse Analysis☆11Updated last year
- An experimental optimizing compiler for Bril☆70Updated this week
- Compiler for the Vale programming language - http://vale.dev/☆32Updated last year
- Template (Compile-time) Turing Machine in C++20☆12Updated 4 years ago
- world's worst interpreter☆62Updated 2 months ago
- library learning w egraphs☆18Updated 2 years ago
- racket llvm C-API bindings☆17Updated 6 months ago
- The Solid-State Register Allocator☆86Updated 2 years ago
- Garbage collector implementation in Rust for Rust☆13Updated 4 years ago