julianhyde / morelLinks
Standard ML interpreter, with relational extensions, implemented in Java
☆41Updated this 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☆341Updated this week
- This library provides an implementation of the DBSP language for incremental streaming computations.☆139Updated last week
- 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 3 months ago
- Synthesize CRDTs from classic data types with verified lifting!☆149Updated 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
- Relational Algebra at your fingertips☆62Updated 10 years ago
- The practical relational programing language for data-oriented applications☆211Updated 2 years ago
- Shorthand SQL/JDBC wrapper language, providing nested results as JSON and more☆33Updated 2 weeks ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆104Updated last year
- The current backend of DBToaster, implemented in Scala.☆65Updated 3 years ago
- Prototype Mixed-consistency transaction implementation☆64Updated 7 years ago
- A logic programming language that has features of both Datalog and answer set programming.☆118Updated this week
- concatenative array language inspired by kdb/+q☆96Updated 3 years ago
- sql-logic-test☆67Updated 2 years ago
- ☆17Updated 2 years ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- A small general purpose programming language for programming on the JVM.☆17Updated 8 months ago
- A list of languages that compile to SQL☆69Updated 3 years ago
- Demo of a WAM Prolog implementation in Python☆78Updated 2 years ago
- The Brown Benchmark for Table Types (B2T2)☆64Updated 2 months ago
- Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation☆81Updated 7 years ago
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆88Updated 5 years ago
- SOMns: A Newspeak for Concurrency Research☆70Updated 8 months ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 10 months 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
- Claro Lang☆145Updated last year
- Relational Database for High-Intensity, Contention-Free OLTP.☆92Updated this week
- Random Data Generator for arbitrary data types☆29Updated 2 years ago
- An experiment in using DuckDB for a datalog / egg☆26Updated 2 years ago