julianhyde / morelLinks
Standard ML interpreter, with relational extensions, implemented in Java
☆42Updated 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☆356Updated last week
- This library provides an implementation of the DBSP language for incremental streaming computations.☆146Updated this week
- Synthesize CRDTs from classic data types with verified lifting!☆150Updated last year
- Shorthand SQL/JDBC wrapper language, providing nested results as JSON and more☆33Updated last month
- 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☆87Updated 2 years ago
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.☆58Updated last year
- The current backend of DBToaster, implemented in Scala.☆65Updated 3 years ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆105Updated last year
- Prototype Mixed-consistency transaction implementation☆65Updated 7 years ago
- sql-logic-test☆68Updated 2 years ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- FoundationDB Correctness service☆32Updated last week
- Rel is a desktop database management system that implements Date & Darwen's "Tutorial D" database language.☆108Updated last month
- A Prolog library to connect to PostgreSQL databases☆107Updated last year
- A functional query language, implemented in Rust☆36Updated 2 months ago
- Claro Lang☆149Updated last year
- Relational Algebra at your fingertips☆62Updated 11 years ago
- The command-line frontend to transactional consistency checkers for black-box databases☆30Updated last week
- An interactive Datalog☆64Updated last week
- ☆17Updated 2 years ago
- The practical relational programing language for data-oriented applications☆213Updated 3 years ago
- A logic programming language that has features of both Datalog and answer set programming.☆120Updated this week
- Dataphor Federated Database Management System☆71Updated 2 years ago
- A list of languages that compile to SQL☆70Updated 3 years ago
- Yona is a modern take on a dynamic general-purpose programming language with advanced functional programming, minimalistic ML-like syntax…☆132Updated 3 years ago
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆90Updated 5 years ago
- Streaming and Incremental Computation Framework☆246Updated 2 years ago
- An experiment in using DuckDB for a datalog / egg☆27Updated 2 years ago
- Relational Database for High-Intensity, Contention-Free OLTP.☆97Updated this week