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☆114Updated last year
- Research on integrating datalog & lambda calculus via monotonicity types☆400Updated 3 years ago
- Differential dataflow for mere mortals☆522Updated 3 years ago
- a datalog interpreter in typescript☆210Updated 5 months ago
- An implementation of differential dataflow using timely dataflow on Rust.☆171Updated last week
- ☆188Updated 5 years ago
- The practical relational programing language for data-oriented applications☆204Updated 2 years ago
- 🦾 Mech is a programming language for building data-driven systems like robots, games, and interfaces. Start here!☆223Updated this week
- syn·di·cate: a language for interactive programs☆158Updated 3 months ago
- self adjusting computations in rust☆135Updated 3 years ago
- A reactive query engine built on differential dataflow.☆320Updated 5 years ago
- A static web application to explore and animate a TLA+ state graph.☆198Updated last year
- A logic programming language that has features of both Datalog and answer set programming.☆118Updated last month
- L.B. Stanza Programming Language☆215Updated 2 years ago
- An in-memory datalog implementation for OCaml.☆270Updated 8 months ago
- Engines, queries, and data for dynamic Datalog computation☆125Updated 3 years ago
- a structured interaction engine 🗜️ ⚗️☆473Updated last year
- a tiny tile-based editor☆304Updated last month
- Build UI declaratively with Datalog.☆133Updated 2 years ago
- The implementation of microKanren, a featherweight relational programming language☆310Updated 11 years ago
- a minimal vector programming language☆181Updated 4 years ago
- Low-level Lisp with compile-time memory management☆274Updated 7 years ago
- General-purpose abstractions for incremental computing, in Rust☆356Updated 3 years ago
- Maru - a tiny self-hosting lisp dialect☆196Updated 2 weeks ago
- A program specification language with a formal syntax and ad-hoc semantics.☆71Updated last year
- ☆53Updated last month
- APL Compiler targeting a typed array intermediate language☆214Updated 9 months ago
- A wiki and web-services based development environment for Awelon project☆92Updated 6 years ago
- A fast functional language based on two level type theory☆391Updated 2 years ago
- A persistent, relational store inspired by Datomic and DataScript.☆54Updated 2 years ago