julianhyde / morelLinks
Standard ML interpreter, with relational extensions, implemented in Java
☆39Updated last 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☆332Updated 2 weeks ago
- Prototype compiler from SaneQL to SQL☆82Updated 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
- This library provides an implementation of the DBSP language for incremental streaming computations.☆129Updated 4 months ago
- The current backend of DBToaster, implemented in Scala.☆64Updated 3 years ago
- Shorthand SQL/JDBC wrapper language, providing nested results as JSON and more☆33Updated last week
- Messing with Postgres query execution and hook infrastructure.☆13Updated last year
- Idempotent query executor☆52Updated last month
- Relational Database for High-Intensity OLTP workloads.☆78Updated 2 weeks ago
- sql-logic-test☆62Updated last year
- A TLA+ specification of the Apache BookKeeper replication protocol☆104Updated last year
- 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
- ☆17Updated 2 years ago
- A local first persistent log☆36Updated last week
- Diagrams as text tool for visualizing concurrent operation histories☆21Updated 4 months ago
- A Jepsen Test for TigerBeetle.☆16Updated 2 years ago
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.☆55Updated 11 months ago
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆45Updated 2 years ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- An experiment in using DuckDB for a datalog / egg☆26Updated last year
- TLA+ specifications for Kafka related algorithms☆69Updated 4 months ago
- FoundationDB Correctness service☆30Updated 2 weeks ago
- Oracle NoSQL Database. Designed for today’s most demanding applications that require low latency responses, flexible data models, and e…☆34Updated this week
- Typescript implementation of Relaxed Radix Balanced Trees☆18Updated 9 months ago
- The command-line frontend to transactional consistency checkers for black-box databases☆28Updated 3 months ago
- Query Plan Markup Language☆45Updated last year
- ☆13Updated 2 months ago
- A little Delta Lake/Iceberg inspired database implementation in Go☆41Updated 8 months ago
- An interactive Datalog☆33Updated this week
- The fastest way to build a language☆43Updated 3 years ago