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
- This library provides an implementation of the DBSP language for incremental streaming computations.☆47Updated this week
- A demo of analyzing a TLA+ state graph☆29Updated last year
- Standard ML interpreter, with relational extensions, implemented in Java☆30Updated this week
- Open-source, Cloud-native Streams☆12Updated 3 years ago
- ☆12Updated 5 months ago
- egg is a flexible, high-performance e-graph library☆9Updated 7 months ago
- An experiment in using DuckDB for a datalog / egg☆25Updated last year
- Rust implementation of Ion Schema☆13Updated last week
- Factable is a service for reporting over event-sourced application data☆12Updated 3 years ago
- FoundationDB Correctness service☆28Updated 2 months ago
- TLA+ specifications related to Viewstamped Replication☆28Updated last year
- Shorthand SQL/JDBC wrapper language, providing nested results as JSON and more☆33Updated this week
- Filibuster instrumentation for the JVM.☆15Updated 9 months ago
- TLA+ specification for the Raft consensus algorithm (with Pre-Vote)☆12Updated 7 years ago
- TLA+ specification of the Ceph consensus algorithm☆21Updated 2 years ago
- Wasm UDFs for Postgres, implemented as a TLE on plv8 using Extism☆29Updated 2 months ago
- Rust-based Scheme Compiler, written in the Nanopass style☆11Updated 6 years ago
- A toy relational database engine.☆12Updated 3 years ago
- A collection of libraries in Scheme☆12Updated 3 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
- RaptorJIT: a dynamic system programming language (manuscript)☆15Updated 5 years ago
- A library for working with mmap'd graph data☆11Updated 3 years 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
- ☆25Updated last year
- 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
- A general purpose relational language☆20Updated 4 years ago
- Demonstrations of (in)consistency in various streaming systems.☆23Updated 3 years ago
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆37Updated 2 months ago