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
- Shorthand SQL/JDBC wrapper language, providing nested results as JSON and more☆33Updated this week
- An experiment in using DuckDB for a datalog / egg☆26Updated last year
- Standard ML interpreter, with relational extensions, implemented in Java☆40Updated this week
- ☆18Updated 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, …☆46Updated 9 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
- TLA+ specification of the Ceph consensus algorithm☆23Updated 3 years ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 9 years ago
- Companion repository of Parsing SQL, an article on tools and libraries to parse SQL and a how to build a SQL parser☆35Updated 5 years ago
- My unofficial picat http://picat-lang.org/ repository☆29Updated last year
- Simple, elegant bootstrapping and configuration. YConf is like an ORM for config files.☆10Updated 2 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- ☆13Updated last year
- Sans is a library which supports ios/android/windows/macos/linux using webviewjs and Apple's WKWebView api.☆16Updated 3 months ago
- An interactive Datalog☆36Updated last week
- a minimal lisp dialect REPL written entirely in rust☆22Updated 3 weeks ago
- ☆24Updated 4 years ago
- Finite state machines as graphs☆59Updated 5 years ago
- Embedding a Prolog-like logic programming language in JavasScript and TypeScript.☆18Updated 2 years ago
- A programming language for data stream analytics.☆22Updated 5 months ago
- Demonstrations of (in)consistency in various streaming systems.☆23Updated 4 years ago
- The Coil Programming Language☆33Updated last year
- A Prolog library to connect to PostgreSQL databases☆100Updated last year
- Yet Another Efficient Unification Algorithm☆27Updated 10 months ago
- TLA+ specification for the Raft consensus algorithm (with Pre-Vote)☆12Updated 7 years ago
- Trealla Prolog embedded in Go using WASM☆79Updated 3 weeks ago
- Synthesize CRDTs from classic data types with verified lifting!☆148Updated 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
- A list of languages that compile to SQL☆68Updated 3 years ago