julianhyde / morelLinks
Standard ML interpreter, with relational extensions, implemented in Java
☆38Updated this week
Alternatives and similar repositories for morel
Users that are interested in morel are comparing it to the libraries listed below
Sorting:
- Standard ML interpreter, with relational extensions, implemented in Java☆328Updated this week
- Prototype compiler from SaneQL to SQL☆81Updated last year
- 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
- The current backend of DBToaster, implemented in Scala.☆63Updated 3 years ago
- FoundationDB Correctness service☆30Updated this week
- This library provides an implementation of the DBSP language for incremental streaming computations.☆120Updated 4 months ago
- Relational Database for High-Intensity OLTP workloads.☆78Updated this week
- sql-logic-test☆61Updated last year
- Idempotent query executor☆51Updated last month
- The SQL Standards Project aims to create consensus in SQL semantics☆45Updated 7 months ago
- The command-line frontend to transactional consistency checkers for black-box databases☆28Updated 2 months ago
- Messing with Postgres query execution and hook infrastructure.☆13Updated last year
- ☆46Updated 3 months ago
- A little Delta Lake/Iceberg inspired database implementation in Go☆42Updated 8 months ago
- ☆17Updated 2 years ago
- DuckDB is an in-process SQL OLAP Database Management System☆43Updated last week
- Strategically Deconstruct UDFs with PRISM for Faster Query Plans☆16Updated 6 months ago
- Shorthand SQL/JDBC wrapper language, providing nested results as JSON and more☆33Updated last month
- ☆13Updated 11 months ago
- A local first persistent log☆36Updated last week
- Query Plan Markup Language☆45Updated last year
- A list of languages that compile to SQL☆68Updated 2 years ago
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆44Updated 2 years ago
- The Brown Benchmark for Table Types (B2T2)☆64Updated 11 months ago
- Relational Algebra at your fingertips☆62Updated 10 years ago
- Like HyperLogLog, but slower 🛶☆10Updated 5 years ago
- ☆14Updated 7 months ago
- An experiment in using DuckDB for a datalog / egg☆25Updated last year
- ☆18Updated 3 weeks ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆104Updated last year