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
- Standard ML interpreter, with relational extensions, implemented in Java☆42Updated this week
- Shorthand SQL/JDBC wrapper language, providing nested results as JSON and more☆33Updated last week
- ☆18Updated last year
- FoundationDB Correctness service☆32Updated this week
- An experiment in using DuckDB for a datalog / egg☆27Updated 2 years ago
- This library provides an implementation of the DBSP language for incremental streaming computations.☆150Updated 3 weeks ago
- An interactive Datalog☆65Updated this week
- Engines, queries, and data for dynamic Datalog computation☆133Updated 4 years ago
- An updated fork of sqlite_protobuf (https://github.com/rgov/sqlite_protobuf), a SQLite extension for extracting values from serialized Pr…☆31Updated 2 years ago
- Interactive SQL analytics in your browser!☆22Updated 8 years ago
- Andl is A New Database Language☆76Updated 9 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆37Updated last week
- The reference implementation of IDML for the JVM☆43Updated 11 months ago
- Converting Non-Recursive Datalog to SQL☆24Updated 9 years ago
- Synthesize CRDTs from classic data types with verified lifting!☆150Updated last year
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆50Updated 3 years ago
- CHR2 to SQL conversion☆15Updated 10 years ago
- A Prolog library to connect to PostgreSQL databases☆107Updated last year
- ZooKeeper server on top of FoundationDB☆26Updated 4 years ago
- Query processor with proven optimizations, ready to use for your JSON store to query semi-structured data with JSONiq. Can also be used a…☆49Updated last week
- The practical relational programing language for data-oriented applications☆214Updated 3 years ago
- Compilation and rule-based optimization framework for relational algebra. Raco is the language, optimization, and query translation layer…☆74Updated 7 years ago
- Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation☆80Updated 7 years ago
- A list of languages that compile to SQL☆72Updated 3 years ago
- Resumable exceptions and delimited continuations for JVM☆44Updated 9 months ago
- ☆17Updated 11 months ago
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- Awesome datalog libraries, tools and resources☆64Updated 6 years ago
- A P model of durable Promises☆14Updated 2 years ago