DaMSL / K3
K3: A Declarative Data Systems Programming Framework
☆15Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for K3
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- Bloom + C++☆17Updated 7 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 2 years ago
- Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store☆8Updated 6 years ago
- Owl's OCaml Interface to Eigen3 C++ Library☆33Updated 2 years ago
- LLVM-jitted bitmaps☆27Updated 4 years ago
- A next-good-bug recommender for Bugzilla☆11Updated 8 years ago
- Numerical Optimisation Library☆15Updated last year
- RLU resizable hash-table☆16Updated 9 years ago
- Python bindings for libNVVM☆37Updated 10 years ago
- Some variations on Lemire's Fast Random Integer Generation in an Interval☆15Updated 5 years ago
- ☆19Updated 7 years ago
- An introduction to the basic ideas of commutative algebra☆16Updated 4 years ago
- Pruning of blanks from an ASCII stream - musings in AMD64 and ARM64☆9Updated 3 years ago
- finding set bits in large bitmaps☆15Updated 8 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☆12Updated 6 years ago
- Java implementation of the FSet functional collections library.☆10Updated 8 years ago
- Alice ML implementation☆17Updated last year
- Convert from UTF-8 to UTF-16 using SSE4☆12Updated 2 years ago
- SIMD recipes, for various platforms (collection of code snippets)☆48Updated 3 years ago
- Distributed computing library☆35Updated 6 years ago
- A proof assistant.☆12Updated 8 years ago
- Public notes, etc. for CMPSCI 630, the UMass CS graduate systems course.☆21Updated last year
- Makes building C++ projects easier with Buck.☆23Updated 3 years ago
- Stasis is a flexible transactional storage library that is geared toward high-performance applications and system developers. It supports…☆53Updated 11 years ago
- Dependably fast multi-core in-memory transactions☆19Updated 7 years ago
- A framework for building reranking models.☆29Updated 9 years ago