hydromatic / morelLinks
Standard ML interpreter, with relational extensions, implemented in Java
☆328Updated this week
Alternatives and similar repositories for morel
Users that are interested in morel are comparing it to the libraries listed below
Sorting:
- An implementation of differential dataflow using timely dataflow on Rust.☆168Updated last week
- Differential dataflow for mere mortals☆522Updated 3 years ago
- A list of languages that compile to SQL☆68Updated 2 years ago
- Various experiments in relational programming☆272Updated 3 years ago
- A reactive query engine built on differential dataflow.☆320Updated 5 years ago
- Standard ML interpreter, with relational extensions, implemented in Java☆38Updated this week
- Research on integrating datalog & lambda calculus via monotonicity types☆399Updated 2 years ago
- Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation☆79Updated 6 years ago
- This library provides an implementation of the DBSP language for incremental streaming computations.☆120Updated 4 months ago
- Cell compiler☆114Updated last year
- The practical relational programing language for data-oriented applications☆203Updated 2 years ago
- Rel is a desktop database management system that implements Date & Darwen's "Tutorial D" database language.☆101Updated last year
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆225Updated this week
- Streaming and Incremental Computation Framework☆238Updated last year
- Engines, queries, and data for dynamic Datalog computation☆124Updated 3 years ago
- The compiler for Keli☆173Updated 6 years ago
- Idempotent query executor☆51Updated last month
- An in-memory datalog implementation for OCaml.☆269Updated 7 months ago
- Prototype compiler from SaneQL to SQL☆81Updated last year
- a datalog interpreter in typescript☆210Updated 5 months ago
- A static web application to explore and animate a TLA+ state graph.☆197Updated last year
- The current backend of DBToaster, implemented in Scala.☆63Updated 3 years ago
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆82Updated 4 years ago
- The Brown Benchmark for Table Types (B2T2)☆64Updated 11 months ago
- Categorical Query Language IDE☆305Updated last week
- Yona is a modern take on a dynamic general-purpose programming language with advanced functional programming, minimalistic ML-like syntax…☆128Updated 2 years ago
- A Squeak/Smalltalk VM and Polyglot Programming Environment for the GraalVM.☆294Updated last week
- A compact, efficient Prolog interpreter written in plain-old C.☆296Updated this week
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆303Updated 6 months ago
- A SQLite vtable extension to read Parquet files☆271Updated 4 years ago