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:
- A general purpose relational language☆19Updated 5 years ago
- Python bindings for libNVVM☆37Updated 11 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
- A distributed key-value cache with builtin materialized views.☆25Updated 10 years ago
- Counting the collisions with perl hash tables per function☆12Updated 6 years ago
- RLU resizable hash-table☆17Updated 10 years ago
- An experimental method JIT for CPython 3☆29Updated 9 years ago
- a small C++ lattice library☆15Updated 5 years ago
- Implementation of the JSON semi-index described in the paper "Semi-Indexing Semi-Structured Data in Tiny Space"☆58Updated 12 years ago
- Bloom + C++☆17Updated 8 years ago
- Chearch is a simple search engine written in Cray's Chapel language.☆35Updated 4 years ago
- Wait-Free Eras (PPoPP '20)☆10Updated 5 years ago
- Software Language Processing Suite☆47Updated 3 years ago
- A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.☆86Updated last year
- numerical computations library☆13Updated 9 years ago
- A scientific computing library for Rust.☆37Updated 11 years ago
- A small DFA for under 16 states☆52Updated 7 years ago
- Benchmarks of the longest path problem in various languages☆155Updated 6 years ago
- rust html source code browser generator, rust source code navigator, possible component for IDE ? Example output - see rust compiler sou…☆48Updated 8 years ago
- Lock-free multithreaded memory allocation☆108Updated 8 years ago
- finding set bits in large bitmaps☆15Updated 9 years ago
- Concurrent Log-Structured Memory for Many-Core Key-Value Stores☆35Updated 5 years ago
- An implementation of Ngo et al's GenericJoin in timely dataflow.☆90Updated 6 years ago
- An immutable singly-linked list, as seen in basically every functional language☆29Updated 2 years ago
- An implementation of @phil_eaton compilers basic notes in Rust☆35Updated 6 years ago
- JX is a C++ application framework and widget library (SDK) for use with the X Window System.☆30Updated 2 weeks ago
- [Incomplete] A Raft implementation in Rust☆15Updated 8 years ago
- Some experiments… and maybe a surprise coming.☆33Updated 6 years ago
- Teaching materials for Model-based Automated Software Engineering☆14Updated 9 years ago