hydromatic / morelLinks
Standard ML interpreter, with relational extensions, implemented in Java
☆333Updated 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.☆172Updated this week
- Differential dataflow for mere mortals☆522Updated 3 years ago
- Standard ML interpreter, with relational extensions, implemented in Java☆40Updated this week
- The practical relational programing language for data-oriented applications☆208Updated 2 years ago
- Cell compiler☆114Updated 2 years ago
- Research on integrating datalog & lambda calculus via monotonicity types☆400Updated 3 years ago
- Various experiments in relational programming☆272Updated 3 years ago
- This library provides an implementation of the DBSP language for incremental streaming computations.☆130Updated 5 months ago
- Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation☆79Updated 6 years ago
- A list of languages that compile to SQL☆68Updated 3 years ago
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆232Updated 2 weeks ago
- Engines, queries, and data for dynamic Datalog computation☆127Updated 3 years ago
- a datalog interpreter in typescript☆211Updated 6 months ago
- A reactive query engine built on differential dataflow.☆321Updated 5 years ago
- 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 static web application to explore and animate a TLA+ state graph.☆198Updated last year
- Rel is a desktop database management system that implements Date & Darwen's "Tutorial D" database language.☆102Updated last year
- Idempotent query executor☆52Updated 2 months ago
- Prototype compiler from SaneQL to SQL☆83Updated last year
- A Squeak/Smalltalk VM and Polyglot Programming Environment for the GraalVM.☆296Updated last week
- Cliff Click Language Hacking☆283Updated 8 months ago
- The compiler for Keli☆174Updated 6 years ago
- Functional programming language for JVM.☆248Updated last month
- A logic programming language that has features of both Datalog and answer set programming.☆117Updated 2 months ago
- Categorical Query Language IDE☆311Updated this week
- An in-memory datalog implementation for OCaml.☆270Updated 8 months ago
- ☆189Updated 5 years ago
- Datalog that's as easy as ABC.☆59Updated last month
- A Java parser combinator library written with an unmatched feature set.☆126Updated 3 years ago
- A modular implementation of timely dataflow in Rust☆118Updated this week