DaMSL / K3Links
K3: A Declarative Data Systems Programming Framework
☆15Updated 8 years ago
Alternatives and similar repositories for K3
Users that are interested in K3 are comparing it to the libraries listed below
Sorting:
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 3 years ago
- Bloom + C++☆17Updated 7 years ago
- Quick experiment to see how expensive safety is in C, for research☆12Updated 6 years ago
- Distributed Algorithms — Online Textbook☆16Updated 4 years ago
- ☆19Updated 8 years ago
- Some variations on Lemire's Fast Random Integer Generation in an Interval☆15Updated 5 years ago
- SIMD recipes, for various platforms (collection of code snippets)☆49Updated 4 years ago
- An inference engine for extensional untyped λ-calculus☆3Updated this week
- Python bindings for libNVVM☆37Updated 11 years ago
- Some algorithms and data structures☆17Updated 4 years ago
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆13Updated 7 years ago
- [GSoC] Distributed Data Structures - Collections Framework for Chapel language☆15Updated 7 years ago
- finding set bits in large bitmaps☆15Updated 9 years ago
- Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store☆8Updated 7 years ago
- Owl's OCaml Interface to Eigen3 C++ Library☆33Updated 3 years ago
- A small DFA for under 16 states☆51Updated 7 years ago
- TLA+ specification for the Raft consensus algorithm (with Pre-Vote)☆12Updated 7 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆13Updated 8 years ago
- RLU resizable hash-table☆17Updated 9 years ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 6 years ago
- Pruning of blanks from an ASCII stream - musings in AMD64 and ARM64☆10Updated 4 years ago
- Distributed Systems Reading Group☆20Updated 7 years ago
- OBSOLETE, ARCHIVED mirror of the OCaml manual☆15Updated last year
- Aerie: a regex-like engine nested word grammars☆16Updated 3 years ago
- The Musketeer workflow manager.☆41Updated 6 years ago
- OpenCog Attention Allocation Subsystem☆14Updated 2 months ago
- Numerical Optimisation Library☆16Updated last year
- Jane Street Capital's standard library overlay☆36Updated last month
- LLVM-jitted bitmaps☆27Updated 5 years ago