hydromatic / morel
Standard ML interpreter, with relational extensions, implemented in Java
☆320Updated last week
Alternatives and similar repositories for morel:
Users that are interested in morel are comparing it to the libraries listed below
- An implementation of differential dataflow using timely dataflow on Rust.☆165Updated 3 months ago
- Various experiments in relational programming☆272Updated 3 years ago
- Differential dataflow for mere mortals☆520Updated 2 years ago
- The practical relational programing language for data-oriented applications☆198Updated 2 years ago
- Cell compiler☆113Updated last year
- Research on integrating datalog & lambda calculus via monotonicity types☆395Updated 2 years ago
- Standard ML interpreter, with relational extensions, implemented in Java☆33Updated this week
- Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation☆78Updated 6 years ago
- Engines, queries, and data for dynamic Datalog computation☆124Updated 3 years ago
- The compiler for Keli☆172Updated 5 years ago
- Functional programming language for JVM.☆246Updated 11 months ago
- A reactive query engine built on differential dataflow.☆319Updated 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
- This library provides an implementation of the DBSP language for incremental streaming computations.☆107Updated last month
- Streaming and Incremental Computation Framework☆231Updated last year
- The implementation of microKanren, a featherweight relational programming language☆308Updated 10 years ago
- Rel is a desktop database management system that implements Date & Darwen's "Tutorial D" database language.☆100Updated last year
- Cliff Click Language Hacking☆279Updated 5 months ago
- A static web application to explore and animate a TLA+ state graph.☆199Updated last year
- An in-memory datalog implementation for OCaml.☆267Updated 5 months ago
- Project: M36 Relational Algebra Engine☆918Updated 3 weeks ago
- A Squeak/Smalltalk VM and Polyglot Programming Environment for the GraalVM.☆287Updated 2 weeks ago
- A Typed, Composable Database Query Language☆104Updated 4 years ago
- Categorical Query Language IDE☆303Updated 3 weeks ago
- ☆188Updated 5 years ago
- A list of languages that compile to SQL☆67Updated 2 years ago
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆82Updated 4 years ago
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆202Updated last week
- A logic programming language that has features of both Datalog and answer set programming.☆112Updated last month
- Pointless: a scripting language for learning and fun☆122Updated 4 years ago