Alternatives and similar repositories for imp:

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

• jamii / dida
  Differential dataflow for mere mortals
  ☆517Updated 2 years ago
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆391Updated 2 years ago
• cell-lang / compiler
  Cell compiler
  ☆115Updated last year
• vilterp / datalog-ts
  a datalog interpreter in typescript
  ☆209Updated 2 weeks ago
• frankmcsherry / differential-dataflow
  An implementation of differential dataflow using timely dataflow on Rust.
  ☆163Updated 3 weeks ago
• comnik / declarative-dataflow
  A reactive query engine built on differential dataflow.
  ☆315Updated 4 years ago
• StanzaOrg / lbstanza-old
  L.B. Stanza Programming Language
  ☆216Updated last year
• tonyg / syndicate
  syn·di·cate: a language for interactive programs
  ☆153Updated last week
• mech-lang / mech
  🦾 Mech is a programming language for building data-driven systems like robots, games, and interfaces. Start here!
  ☆210Updated this week
• datalogui / datalog
  Build UI declaratively with Datalog.
  ☆129Updated 2 years ago
• Tablam / TablaM
  The practical relational programing language for data-oriented applications
  ☆195Updated 2 years ago
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆122Updated 3 years ago
• witheve / eve-native
  ☆187Updated 5 years ago
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆264Updated 3 months ago
• jasonhemann / microKanren
  The implementation of microKanren, a featherweight relational programming language
  ☆308Updated 10 years ago
• disconcision / fructure
  a structured interaction engine 🗜️ ⚗️
  ☆467Updated 11 months ago
• lord / anchors
  self adjusting computations in rust
  ☆134Updated 3 years ago
• witheve / eve-experiments
  The many experiments that have led to Eve in its current form
  ☆65Updated 5 years ago
• harc / nl-datalog
  Natural Language Datalog
  ☆127Updated 7 years ago
• bollu / rete
  An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'
  ☆80Updated 4 years ago
• hydromatic / morel
  Standard ML interpreter, with relational extensions, implemented in Java
  ☆301Updated last month
• anko / eslisp
  un-opinionated S-expression syntax and macro system for JavaScript
  ☆534Updated 4 years ago
• miniKanren / miniKanren
  Canonical miniKanren implementation
  ☆353Updated 6 years ago
• qpdb / mentat
  A persistent, relational store inspired by Datomic and DataScript.
  ☆53Updated last year
• judofyr / glush
  A parser toolkit
  ☆95Updated 3 years ago
• afonsonf / tlaplus-graph-explorer
  A static web application to explore and animate a TLA+ state graph.
  ☆197Updated last year
• Co-dfns / Co-dfns
  High-performance, Reliable, and Parallel APL
  ☆724Updated 3 weeks ago
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆211Updated 4 months ago
• KMahoney / squee
  A Typed, Composable Database Query Language
  ☆104Updated 3 years ago
• mbrock / wisp
  Lisp in WebAssembly
  ☆250Updated 5 months ago