jhellerstein / arugulaLinks
a small C++ lattice library
☆15Updated 6 years ago
Alternatives and similar repositories for arugula
Users that are interested in arugula are comparing it to the libraries listed below
Sorting:
- Implementation of the JSON semi-index described in the paper "Semi-Indexing Semi-Structured Data in Tiny Space"☆58Updated 13 years ago
- A small DFA for under 16 states☆54Updated 7 years ago
- The Cubicle model checker☆14Updated 2 weeks ago
- Implementation of the RISE language☆14Updated 5 years ago
- LVC verified compiler☆60Updated 7 years ago
- Tests with PlusCal / TLA+☆25Updated 9 years ago
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- ☆17Updated 8 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆33Updated 8 months ago
- SIMD recipes, for various platforms (collection of code snippets)☆49Updated 4 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆25Updated 2 years ago
- ☆28Updated 2 months ago
- Hyaline Reclamation (PLDI '21, PODC '19)☆23Updated 4 years ago
- A general purpose relational language☆19Updated 5 years ago
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆13Updated 7 years ago
- Quick sort code using AVX2 instructions☆69Updated 8 years ago
- PlusCal Cheat Sheet by Stephan Merz☆25Updated last year
- Regionalized Value State Dependence Graph written in Rust☆11Updated 6 years ago
- A lighweight and parallel snapshot testing framework in rust☆37Updated 2 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- ☆11Updated 4 years ago
- Various Futhark benchmark programs☆43Updated last week
- Execute and document benchmarks reproducibly.☆97Updated 6 months ago
- Memory Management ToolKit☆37Updated 6 months ago
- "Byteslice: Pushing the envelop of main memory data processing with a new storage layout" (SIGMOD'15)☆25Updated 7 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆107Updated last year
- An implementation of Ngo et al's GenericJoin in timely dataflow.☆91Updated 6 years ago
- Spatial layout specifications for memory management systems.☆19Updated 5 years ago
- Lower Size Bounds for Sorting Networks☆46Updated 5 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago