julianhyde / morelLinks
Standard ML interpreter, with relational extensions, implemented in Java
☆40Updated last week
Alternatives and similar repositories for morel
Users that are interested in morel are comparing it to the libraries listed below
Sorting:
- A functional query language☆337Updated last week
- Shorthand SQL/JDBC wrapper language, providing nested results as JSON and more☆33Updated 2 weeks ago
- This library provides an implementation of the DBSP language for incremental streaming computations.☆133Updated 6 months ago
- 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
- Prototype compiler from SaneQL to SQL☆84Updated last year
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.☆56Updated last year
- Rel is a desktop database management system that implements Date & Darwen's "Tutorial D" database language.☆103Updated last month
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- sql-logic-test☆64Updated last year
- Synthesize CRDTs from classic data types with verified lifting!☆148Updated last year
- The current backend of DBToaster, implemented in Scala.☆64Updated 3 years ago
- The practical relational programing language for data-oriented applications☆209Updated 2 years ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆104Updated last year
- A Prolog library to connect to PostgreSQL databases☆102Updated last year
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆86Updated 5 years ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 8 months ago
- Zig library for HyperLogLog estimation☆89Updated last year
- Claro Lang☆146Updated last year
- GitHub copy of the NTS/TeX source code from 2001☆31Updated 4 years ago
- Overview of SQL concepts☆59Updated 3 years ago
- Prototype Mixed-consistency transaction implementation☆63Updated 7 years ago
- ☆17Updated 2 years ago
- Dataphor Federated Database Management System☆69Updated 2 years ago
- Relational Database for High-Intensity OLTP workloads.☆83Updated last week
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 2 years ago
- ☆56Updated 3 months ago
- A list of languages that compile to SQL☆68Updated 3 years ago
- concatenative array language inspired by kdb/+q☆93Updated 3 years ago
- Multi-Array Queue program codes☆76Updated 2 months ago
- Relational Algebra at your fingertips☆62Updated 10 years ago