jhellerstein / arugulaLinks
a small C++ lattice library
☆15Updated 5 years ago
Alternatives and similar repositories for arugula
Users that are interested in arugula are comparing it to the libraries listed below
Sorting:
- A small DFA for under 16 states☆51Updated 7 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
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated 4 months ago
- Implementation of the JSON semi-index described in the paper "Semi-Indexing Semi-Structured Data in Tiny Space"☆58Updated 12 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆21Updated last year
- ALLVM Tools☆56Updated 3 years ago
- A term rewriting system for experimental programming language development.☆44Updated this week
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆28Updated 4 years ago
- Hyaline Reclamation (PLDI '21, PODC '19)☆22Updated 4 years ago
- A distributed key-value cache with builtin materialized views.☆25Updated 10 years ago
- ☆11Updated 3 years ago
- SIMD recipes, for various platforms (collection of code snippets)☆49Updated 4 years ago
- Quick sort code using AVX2 instructions☆69Updated 8 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- An attribute grammar-based programming language for composable language extensions☆64Updated this week
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- The Cubicle model checker☆14Updated last year
- Wait-Free Eras (PPoPP '20)☆10Updated 5 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆105Updated last year
- Tests with PlusCal / TLA+☆25Updated 8 years ago
- Implementation of the RISE language