hydromatic / morelLinks
A functional query language
☆350Updated last week
Alternatives and similar repositories for morel
Users that are interested in morel are comparing it to the libraries listed below
Sorting:
- Standard ML interpreter, with relational extensions, implemented in Java☆41Updated this week
- An implementation of differential dataflow using timely dataflow on Rust.☆175Updated 3 weeks ago
- This library provides an implementation of the DBSP language for incremental streaming computations.☆140Updated 2 weeks ago
- Differential dataflow for mere mortals☆525Updated 3 years ago
- Research on integrating datalog & lambda calculus via monotonicity types☆405Updated 3 years ago
- The practical relational programing language for data-oriented applications☆212Updated 2 years ago
- Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation☆81Updated 7 years ago
- A list of languages that compile to SQL☆69Updated 3 years ago
- Various experiments in relational programming☆273Updated 3 years ago
- Engines, queries, and data for dynamic Datalog computation☆131Updated 4 years ago
- Cell compiler☆115Updated 2 years ago
- Prototype compiler from SaneQL to SQL☆86Updated last year
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆263Updated this week
- A static web application to explore and animate a TLA+ state graph.☆197Updated 2 years ago
- Idempotent query executor☆53Updated 6 months ago
- The compiler for Keli☆173Updated 6 years ago
- a datalog interpreter in typescript☆212Updated 10 months ago
- Rel is a desktop database management system that implements Date & Darwen's "Tutorial D" database language.☆104Updated 3 months ago
- An in-memory datalog implementation for OCaml.☆273Updated last year
- Resumable exceptions and delimited continuations for JVM☆44Updated 6 months ago
- A logic programming language that has features of both Datalog and answer set programming.☆119Updated this week
- Yona is a modern take on a dynamic general-purpose programming language with advanced functional programming, minimalistic ML-like syntax…☆132Updated 3 years ago
- Categorical Query Language IDE☆319Updated 3 weeks ago
- A Java parser combinator library written with an unmatched feature set.☆131Updated 4 years ago
- Streaming and Incremental Computation Framework☆244Updated 2 years ago
- A reactive query engine built on differential dataflow.☆322Updated 5 years ago
- Datalog that's as easy as ABC.☆64Updated 2 months ago
- Functional programming language for JVM.☆251Updated 5 months ago
- A SQLite vtable extension to read Parquet files☆271Updated 4 years ago
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆88Updated 5 years ago