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!☆234Updated last week
- Differential dataflow for mere mortals☆522Updated 3 years ago
- Research on integrating datalog & lambda calculus via monotonicity types☆401Updated 3 years ago
- The practical relational programing language for data-oriented applications☆209Updated 2 years ago
- An implementation of differential dataflow using timely dataflow on Rust.☆173Updated last week
- a datalog interpreter in typescript☆212Updated 7 months ago
- ☆189Updated 5 years ago
- syn·di·cate: a language for interactive programs☆159Updated 5 months ago
- Engines, queries, and data for dynamic Datalog computation☆127Updated 4 years ago
- self adjusting computations in rust☆137Updated 3 years ago
- A lightweight Datalog engine in Rust☆57Updated 2 months ago
- A reactive query engine built on differential dataflow.☆321Updated 5 years ago
- Build UI declaratively with Datalog.☆134Updated 2 years ago
- a minimal vector programming language☆181Updated 4 years ago
- A persistent, relational store inspired by Datomic and DataScript.☆55Updated 2 years ago
- RRB-tree implemented as a library in C.☆170Updated 10 years ago
- An in-memory datalog implementation for OCaml.☆271Updated 10 months ago
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆51Updated 6 years ago
- A logic programming language that has features of both Datalog and answer set programming.☆117Updated 2 weeks ago
- Rewrite of Arthur Whitney's one-page J interpreter in Rust☆61Updated 5 years ago
- A Typed, Composable Database Query Language☆104Updated 4 years ago
- Pointless: a scripting language for learning and fun☆122Updated 4 years ago
- A static web application to explore and animate a TLA+ state graph.☆198Updated last year
- The many experiments that have led to Eve in its current form☆64Updated 6 years ago
- A wiki and web-services based development environment for Awelon project☆92Updated 6 years ago
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆85Updated 5 years ago
- Pure functional Lisp implemented in Rust☆208Updated 3 years ago
- L.B. Stanza Programming Language☆215Updated 2 years ago
- ☆101Updated 3 years ago