rchowell / SiftLinks
Sift is a basic, Relational Algebra based query engine built on top of Apache Arrow. It draws inspiration from Andy Grove's KQuery.
☆22Updated 3 years ago
Alternatives and similar repositories for Sift
Users that are interested in Sift are comparing it to the libraries listed below
Sorting:
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- ☆18Updated 2 months ago
- A list of languages that compile to SQL☆68Updated 3 years ago
- An updated fork of sqlite_protobuf (https://github.com/rgov/sqlite_protobuf), a SQLite extension for extracting values from serialized Pr…☆28Updated 2 years ago
- An experiment in using DuckDB for a datalog / egg☆26Updated last year
- An interactive Datalog☆38Updated last week
- This library provides an implementation of the DBSP language for incremental streaming computations.☆131Updated 6 months ago
- Standard ML interpreter, with relational extensions, implemented in Java☆40Updated this week
- Shorthand SQL/JDBC wrapper language, providing nested results as JSON and more☆33Updated 3 weeks ago
- CHR2 to SQL conversion☆14Updated 9 years ago
- Finite state machines as graphs☆60Updated 5 years ago
- ☆15Updated 9 months ago
- A P model of durable Promises☆14Updated last year
- Andl is A New Database Language☆75Updated 9 years ago
- The practical relational programing language for data-oriented applications☆208Updated 2 years ago
- Synthesize CRDTs from classic data types with verified lifting!☆148Updated last year
- A Prolog library to connect to PostgreSQL databases☆101Updated last year
- Query processor with proven optimizations, ready to use for your JSON store to query semi-structured data with JSONiq. Can also be used a…☆48Updated last year
- Engines, queries, and data for dynamic Datalog computation☆127Updated 3 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆37Updated this week
- Relational Database Management System☆16Updated 5 years ago
- Compilation and rule-based optimization framework for relational algebra. Raco is the language, optimization, and query translation layer…☆73Updated 7 years ago
- An implementation of differential dataflow using timely dataflow on Rust.☆172Updated 2 weeks ago
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- Benchmark to compare async web server + interpreter + web client implementations across various languages☆46Updated 2 years ago
- The mm-ADT Virtual Machine☆34Updated 4 years ago
- Web Native language Workbench with Projectional Web Editor☆70Updated this week
- Awesome datalog libraries, tools and resources☆61Updated 5 years ago
- Backtrace.io's resilient log record framing format☆38Updated 3 years ago
- Trealla Prolog embedded in Go using WASM☆79Updated last month