Alternatives and similar repositories for morel:

Users that are interested in morel are comparing it to the libraries listed below

• frankmcsherry / differential-dataflow
  An implementation of differential dataflow using timely dataflow on Rust.
  ☆166Updated last week
• jamii / dida
  Differential dataflow for mere mortals
  ☆519Updated 3 years ago
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆397Updated 2 years ago
• cell-lang / compiler
  Cell compiler
  ☆113Updated last year
• jamii / imp
  Various experiments in relational programming
  ☆272Updated 3 years ago
• wernsey / Jatalog
  Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation
  ☆79Updated 6 years ago
• Tablam / TablaM
  The practical relational programing language for data-oriented applications
  ☆199Updated 2 years ago
• julianhyde / morel
  Standard ML interpreter, with relational extensions, implemented in Java
  ☆33Updated this week
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆124Updated 3 years ago
• afonsonf / tlaplus-graph-explorer
  A static web application to explore and animate a TLA+ state graph.
  ☆199Updated last year
• brurucy / pydbsp
  This library provides an implementation of the DBSP language for incremental streaming computations.
  ☆109Updated 2 months ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆64Updated 10 months ago
• KeliLanguage / compiler
  The compiler for Keli
  ☆173Updated 5 years ago
• hpi-swa / trufflesqueak
  A Squeak/Smalltalk VM and Polyglot Programming Environment for the GraalVM.
  ☆290Updated this week
• yona-lang / yona
  Yona is a modern take on a dynamic general-purpose programming language with advanced functional programming, minimalistic ML-like syntax…
  ☆128Updated 2 years ago
• comnik / declarative-dataflow
  A reactive query engine built on differential dataflow.
  ☆319Updated 5 years ago
• CategoricalData / CQL
  Categorical Query Language IDE
  ☆303Updated last week
• vilterp / datalog-ts
  a datalog interpreter in typescript
  ☆210Updated 3 months ago
• DaveVoorhis / Rel
  Rel is a desktop database management system that implements Date & Darwen's "Tutorial D" database language.
  ☆100Updated last year
• ajnsit / languages-that-compile-to-sql
  A list of languages that compile to SQL
  ☆67Updated 2 years ago
• eashanhatti / peridot
  A fast functional language based on two level type theory
  ☆390Updated 2 years ago
• vmware-archive / differential-datalog
  DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…
  ☆1,402Updated last year
• mth / yeti
  Functional programming language for JVM.
  ☆246Updated last year
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆211Updated this week
• luc-tielen / eclair-lang
  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
  ☆222Updated last year
• hydromatic / quidem
  Idempotent query executor
  ☆51Updated last month
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆156Updated 5 months ago
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆146Updated 11 months ago
• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆113Updated last week
• morloc-project / morloc
  A typed, polyglot, functional language
  ☆196Updated this week