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
Alternatives and similar repositories for Sift:
Users that are interested in Sift are comparing it to the libraries listed below
- A demo of analyzing a TLA+ state graph☆29Updated last year
- An experiment in using DuckDB for a datalog / egg☆25Updated last year
- ☆12Updated 7 months ago
- Companion repository of Parsing SQL, an article on tools and libraries to parse SQL and a how to build a SQL parser☆34Updated 4 years ago
- Diagrams as text tool for visualizing concurrent operation histories☆20Updated 2 months 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, …☆42Updated 9 years ago
- Standard ML interpreter, with relational extensions, implemented in Java☆30Updated this week
- Simple, elegant bootstrapping and configuration. YConf is like an ORM for config files.☆11Updated 2 years ago
- TLA+ description for the CAS-Paxos algorithm☆12Updated 7 years ago
- A P model of durable Promises☆12Updated last year
- ☆12Updated this week
- Columnar database on SSD NVMe☆12Updated 3 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- Open-source, Cloud-native Streams☆12Updated 3 years ago
- Workload generator that emulates the traffic pattern of lobste.rs☆68Updated 3 years ago
- 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
- Shorthand SQL/JDBC wrapper language, providing nested results as JSON and more☆33Updated 3 weeks ago
- ☆24Updated 4 years ago
- SQLite extension library, written in Lua and C. Based on EAV/CR storage, implements most of data schema refactoring patterns and more☆16Updated 4 years ago
- TLA+ specification for the Raft consensus algorithm (with Pre-Vote)☆12Updated 7 years ago
- TypeDB (Core and Cloud) RPC Communication Protocol☆16Updated 3 weeks ago
- 1ML prototype interpreter☆19Updated 4 years ago
- RPC for Rust☆13Updated last year
- Factable is a service for reporting over event-sourced application data☆12Updated 3 years ago
- Formalization of DBSP☆14Updated last year
- Rust implementation of Ion Schema☆13Updated last month
- A basic log-structured flash datastore☆20Updated 2 years ago
- Open source scholarly literature search☆15Updated 3 months ago