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
- TLA+ specification for the Raft consensus algorithm (with Pre-Vote)☆12Updated 7 years ago
- Bloom + C++☆17Updated 7 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 3 years ago
- Alice ML implementation☆17Updated 2 years ago
- finding set bits in large bitmaps☆15Updated 9 years ago
- A small test for multithreaded C++ stack unwinding on unixes☆16Updated 5 years ago
- Counting the collisions with perl hash tables per function☆12Updated 6 years ago
- RLU resizable hash-table☆17Updated 9 years ago
- Numerical Optimisation Library☆16Updated last year
- Some variations on Lemire's Fast Random Integer Generation in an Interval☆15Updated 5 years ago
- Owl's OCaml Interface to Eigen3 C++ Library☆33Updated 3 years ago
- Spatial layout specifications for memory management systems.☆19Updated 4 years ago
- Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store☆8Updated 6 years ago
- LLVM-jitted bitmaps☆27Updated 5 years ago
- Pruning of blanks from an ASCII stream - musings in AMD64 and ARM64☆10Updated 4 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 5 years ago
- ☆19Updated 8 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- OBSOLETE, ARCHIVED mirror of the OCaml manual☆15Updated last year
- Infrastructure for explaining the outputs of differential dataflow computations☆22Updated 8 years ago
- Distributed Systems Reading Group☆20Updated 7 years ago
- Quick experiment to see how expensive safety is in C, for research☆12Updated 6 years ago
- A general purpose relational language☆19Updated 5 years ago
- Implementation of Alexander A. Stepanov inverted Index Compression algorithms☆21Updated 9 years ago
- [GSoC] Distributed Data Structures - Collections Framework for Chapel language☆15Updated 7 years ago
- SIMD recipes, for various platforms (collection of code snippets)☆48Updated 4 years ago
- My PhD thesis, titled "Reasonably Programmable Syntax"☆15Updated 6 years ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 6 years ago
- Learning Haskell: algorithms, data structures, mini-programs, materials, excercises☆17Updated 5 years ago