DaMSL / K3Links
K3: A Declarative Data Systems Programming Framework
☆15Updated 9 years ago
Alternatives and similar repositories for K3
Users that are interested in K3 are comparing it to the libraries listed below
Sorting:
- Python bindings for libNVVM☆38Updated 11 years ago
- Bloom + C++☆17Updated 8 years ago
- Simple C++ Parser Combinator Library☆15Updated 10 years ago
- A general purpose relational language☆19Updated 5 years ago
- [GSoC] Distributed Data Structures - Collections Framework for Chapel language☆15Updated 8 years ago
- finding set bits in large bitmaps☆15Updated 10 years ago
- Implementation of the RISE language☆14Updated 5 years ago
- A distributed key-value cache with builtin materialized views.☆25Updated 11 years ago
- Infrastructure for explaining the outputs of differential dataflow computations☆23Updated 9 years ago
- code accompanying a blog post about fuzzing a red-black tree implementation: http://blog.regehr.org/archives/896☆18Updated 7 years ago
- RLU resizable hash-table☆17Updated 10 years ago
- Chearch is a simple search engine written in Cray's Chapel language.☆34Updated 4 years ago
- Iterator library.☆80Updated 6 years ago
- The Musketeer workflow manager.☆42Updated 7 years ago
- Implementation of the JSON semi-index described in the paper "Semi-Indexing Semi-Structured Data in Tiny Space"☆58Updated 13 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆13Updated 3 years ago
- An experimental method JIT for CPython 3☆29Updated 9 years ago
- SIMD recipes, for various platforms (collection of code snippets)☆49Updated 4 years ago
- a small C++ lattice library☆15Updated 6 years ago
- A small DFA for under 16 states☆54Updated 7 years ago
- OCaml bindings for RE2☆48Updated 3 weeks ago
- The Cubicle model checker☆14Updated 3 weeks ago
- Owl's Differential Equation Solvers☆35Updated 4 years ago
- Materials and accompanying references for all things pwlconf related☆60Updated 6 years ago
- Distributed Systems Reading Group☆20Updated 8 years ago
- Sheriff consists of two tools: Sheriff-Detect, a false-sharing detector, and Sheriff-Protect, a false-sharing eliminator that you can lin…☆32Updated 7 years ago
- Owl's OCaml Interface to Eigen3 C++ Library☆33Updated 3 years ago
- Implementation of the data structures described in the paper "Fast Compressed Tries using Path Decomposition".☆58Updated 3 years ago
- Counting the collisions with perl hash tables per function☆12Updated 6 years ago
- LLVM-jitted bitmaps☆27Updated 5 years ago