hydromatic / morelLinks
A functional query language
☆356Updated last 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.☆176Updated last month
- Standard ML interpreter, with relational extensions, implemented in Java☆42Updated last week
- This library provides an implementation of the DBSP language for incremental streaming computations.☆146Updated this week
- Differential dataflow for mere mortals☆529Updated 3 years ago
- Research on integrating datalog & lambda calculus via monotonicity types☆414Updated 3 years ago
- Cell compiler☆117Updated 2 years ago
- The practical relational programing language for data-oriented applications☆213Updated 3 years ago
- Various experiments in relational programming☆273Updated 3 years ago
- Prototype compiler from SaneQL to SQL☆87Updated 2 years ago
- A list of languages that compile to SQL☆70Updated 3 years ago
- Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation☆81Updated 7 years ago
- Engines, queries, and data for dynamic Datalog computation☆133Updated 4 years ago
- Rel is a desktop database management system that implements Date & Darwen's "Tutorial D" database language.☆108Updated last month
- Yona is a modern take on a dynamic general-purpose programming language with advanced functional programming, minimalistic ML-like syntax…☆132Updated 3 years ago
- A static web application to explore and animate a TLA+ state graph.☆198Updated 2 years ago
- An in-memory datalog implementation for OCaml.☆276Updated last year
- A reactive query engine built on differential dataflow.☆322Updated 5 years ago
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆273Updated this week
- Streaming and Incremental Computation Framework☆246Updated 2 years ago
- The current backend of DBToaster, implemented in Scala.☆65Updated 3 years ago
- The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…☆447Updated this week
- A Prolog library to connect to PostgreSQL databases☆107Updated last year
- A modular implementation of timely dataflow in Rust☆119Updated this week
- Persistence of concurrent activities for Gerbil Scheme☆55Updated 2 months ago
- The compiler for Keli☆173Updated 6 years ago
- a datalog interpreter in typescript☆213Updated last year
- Synthesize CRDTs from classic data types with verified lifting!☆150Updated last year
- A logic programming language that has features of both Datalog and answer set programming.☆120Updated this week
- Categorical Query Language IDE☆320Updated last week
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆325Updated 6 months ago