RCHowell / Sift
Sift is a basic, Relational Algebra based query engine built on top of Apache Arrow. It draws inspiration from Andy Grove's KQuery.
☆21Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for Sift
- A demo of analyzing a TLA+ state graph☆29Updated last year
- An experiment in using DuckDB for a datalog / egg☆25Updated last year
- Standard ML interpreter, with relational extensions, implemented in Java☆30Updated this week
- ☆12Updated 5 months ago
- egg is a flexible, high-performance e-graph library☆9Updated 7 months ago
- Open-source, Cloud-native Streams☆12Updated 3 years ago
- Rust-based Scheme Compiler, written in the Nanopass style☆11Updated 6 years ago
- TLA+ specification of the Ceph consensus algorithm☆21Updated 2 years ago
- Pijul is a free and open source version control system, intended to be simple to use, yet based on a sound theory of collaborative work, …☆41Updated 9 years ago
- TLA+ specification for the Raft consensus algorithm (with Pre-Vote)☆12Updated 7 years ago
- Java implementation of the FSet functional collections library.☆10Updated 8 years ago
- ☆14Updated 6 years ago
- Demonstrations of (in)consistency in various streaming systems.☆23Updated 3 years ago
- Beating haskell with C☆11Updated 5 years ago
- TLA+ specifications related to Viewstamped Replication☆28Updated last year
- Factable is a service for reporting over event-sourced application data☆12Updated 3 years ago
- A general purpose relational language☆20Updated 4 years ago
- CHR2 to SQL conversion☆12Updated 9 years ago
- Shorthand SQL/JDBC wrapper language, providing nested results as JSON and more☆33Updated this week
- TLA+ description for the CAS-Paxos algorithm☆12Updated 7 years ago
- This library provides an implementation of the DBSP language for incremental streaming computations.☆85Updated last week
- Kerf (Kerf2) is a columnar tick database and time-series language for Linux/OSX/BSD/iOS/Android. It is written in C++ and natively speaks…☆26Updated 2 years ago
- A collection of libraries in Scheme☆12Updated 3 years ago
- A basic log-structured flash datastore☆20Updated 2 years ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 8 years ago
- Diagnostic tools for timely dataflow computations☆42Updated 2 years ago
- An updated fork of sqlite_protobuf (https://github.com/rgov/sqlite_protobuf), a SQLite extension for extracting values from serialized Pr…☆27Updated last year
- Diagrams as text tool for visualizing concurrent operation histories☆20Updated 2 weeks ago