jamii / impLinks
Various experiments in relational programming
β272Updated 3 years ago
Alternatives and similar repositories for imp
Users that are interested in imp are comparing it to the libraries listed below
Sorting:
- Cell compilerβ115Updated 2 years ago
- π¦Ύ Mech is a programming language for building data-driven systems like robots, games, and interfaces. Start here!β245Updated this week
- Differential dataflow for mere mortalsβ525Updated 3 years ago
- a datalog interpreter in typescriptβ212Updated 9 months ago
- An implementation of differential dataflow using timely dataflow on Rust.β175Updated 3 weeks ago
- Engines, queries, and data for dynamic Datalog computationβ128Updated 4 years ago
- The practical relational programing language for data-oriented applicationsβ211Updated 2 years ago
- Research on integrating datalog & lambda calculus via monotonicity typesβ404Updated 3 years ago
- β189Updated 5 years ago
- synΒ·diΒ·cate: a language for interactive programsβ158Updated 7 months ago
- Build UI declaratively with Datalog.β137Updated 2 years ago
- A lightweight Datalog engine in Rustβ57Updated 4 months ago
- a minimal vector programming languageβ181Updated 5 years ago
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'β88Updated 5 years ago
- A logic programming language that has features of both Datalog and answer set programming.β118Updated last week
- A functional query languageβ341Updated this week
- A reactive query engine built on differential dataflow.β322Updated 5 years ago
- A persistent, relational store inspired by Datomic and DataScript.β55Updated 2 years ago
- An in-memory datalog implementation for OCaml.β272Updated last year
- A program specification language with a formal syntax and ad-hoc semantics.β81Updated 2 weeks ago
- L.B. Stanza Programming Languageβ215Updated 2 years ago
- A static web application to explore and animate a TLA+ state graph.β197Updated last year
- Pointless: a scripting language for learning and funβ122Updated this week
- An experimental DSL for handling state and updates, along with constraints, in Rosette.β50Updated 6 years ago
- A Prolog library to connect to PostgreSQL databasesβ104Updated last year
- The many experiments that have led to Eve in its current formβ64Updated 6 years ago
- A Typed, Composable Database Query Languageβ104Updated 4 years ago
- RRB-tree implemented as a library in C.β171Updated 10 years ago
- A typed, polyglot, functional languageβ204Updated last week
- β103Updated 3 years ago