julianhyde / morelLinks
Standard ML interpreter, with relational extensions, implemented in Java
☆41Updated 2 weeks ago
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☆340Updated 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
- This library provides an implementation of the DBSP language for incremental streaming computations.☆137Updated 8 months ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- Prototype compiler from SaneQL to SQL☆86Updated last year
- Shorthand SQL/JDBC wrapper language, providing nested results as JSON and more☆33Updated 3 weeks ago
- FoundationDB Correctness service☆32Updated 2 months ago
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.☆56Updated last year
- A TLA+ specification of the Apache BookKeeper replication protocol☆104Updated last year
- Prototype Mixed-consistency transaction implementation☆63Updated 7 years ago
- sql-logic-test☆67Updated 2 years ago
- Synthesize CRDTs from classic data types with verified lifting!☆148Updated last year
- ☆17Updated 2 years ago
- Rel is a desktop database management system that implements Date & Darwen's "Tutorial D" database language.☆103Updated 2 months ago
- The practical relational programing language for data-oriented applications☆210Updated 2 years ago
- A logic programming language that has features of both Datalog and answer set programming.☆117Updated last week
- Messing with Postgres query execution and hook infrastructure.☆13Updated last year
- A Prolog library to connect to PostgreSQL databases☆104Updated last year
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆86Updated 5 years ago
- Claro Lang☆146Updated last year
- concatenative array language inspired by kdb/+q☆96Updated 3 years ago
- The current backend of DBToaster, implemented in Scala.☆64Updated 3 years ago
- Learn TLA+ for free! No prior experience necessary!☆222Updated 6 months ago
- TLA+ specifications for Kafka related algorithms☆84Updated 8 months ago
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆256Updated 2 weeks ago
- B-tree generator for C☆143Updated 4 months ago
- Zig library for HyperLogLog estimation☆89Updated last year
- A list of languages that compile to SQL☆68Updated 3 years ago
- The command-line frontend to transactional consistency checkers for black-box databases☆29Updated last month
- Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation☆81Updated 7 years ago