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☆333Updated last week
- 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.☆131Updated 6 months ago
- Synthesize CRDTs from classic data types with verified lifting!☆148Updated last year
- Shorthand SQL/JDBC wrapper language, providing nested results as JSON and more☆33Updated this week
- The practical relational programing language for data-oriented applications☆209Updated 2 years ago
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.☆56Updated last year
- Prototype Mixed-consistency transaction implementation☆63Updated 7 years ago
- Rel is a desktop database management system that implements Date & Darwen's "Tutorial D" database language.☆102Updated 2 weeks ago
- Prototype compiler from SaneQL to SQL☆83Updated last year
- A TLA+ specification of the Apache BookKeeper replication protocol☆104Updated last year
- The Brown Benchmark for Table Types (B2T2)☆64Updated last week
- Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation☆80Updated 6 years ago
- The current backend of DBToaster, implemented in Scala.☆64Updated 3 years ago
- Datalog that's as easy as ABC.☆59Updated 2 months ago
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆85Updated 5 years ago
- CHR2 to SQL conversion☆14Updated 9 years ago
- Claro Lang☆144Updated last year
- Relational Algebra at your fingertips☆62Updated 10 years ago
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆45Updated 3 years ago
- concatenative array language inspired by kdb/+q☆93Updated 3 years ago
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆241Updated 2 weeks ago
- Dataphor Federated Database Management System☆68Updated 2 years ago
- The command-line frontend to transactional consistency checkers for black-box databases☆28Updated last month
- Learn TLA+ for free! No prior experience necessary!☆218Updated 4 months ago
- A Prolog library to connect to PostgreSQL databases☆101Updated last year
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- An experiment in using DuckDB for a datalog / egg☆26Updated last year
- Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.☆132Updated this week
- Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.☆36Updated last month