vilterp / datalog-ts
a datalog interpreter in typescript
☆199Updated 2 months ago
Related projects: ⓘ
- Build UI declaratively with Datalog.☆121Updated last year
- Research on integrating datalog & lambda calculus via monotonicity types☆385Updated 2 years ago
- a tiny tile-based editor☆275Updated this week
- 🦾 Mech is a programming language for building data-driven systems like robots, games, and interfaces. Start here!☆205Updated this week
- Various experiments in relational programming☆269Updated 2 years ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆77Updated 11 months ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆200Updated 7 months ago
- Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)☆24Updated 2 years ago
- self adjusting computations in rust☆130Updated 3 years ago
- Cell compiler☆113Updated last year
- Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"☆76Updated last month
- ☆96Updated 2 years ago
- An in-memory datalog implementation for OCaml.☆254Updated 2 years ago
- An implementation of differential dataflow using timely dataflow on Rust.☆159Updated 3 months ago
- a structured interaction engine 🗜️ ⚗️☆450Updated 7 months ago
- The practical relational programing language for data-oriented applications☆189Updated last year
- Engines, queries, and data for dynamic Datalog computation☆121Updated 3 years ago
- Responsive, animated figures in JavaScript/HTML canvases☆127Updated this week
- Hazel, a live functional programming environment with typed holes☆744Updated this week
- Differential dataflow for mere mortals☆513Updated 2 years ago
- A list of projectional and structural editors☆332Updated 3 months ago
- Natural Language Datalog☆127Updated 6 years ago
- A fast functional language based on two level type theory☆388Updated last year
- 📝 Web-based, reactive Datalog notebooks for data analysis and visualization☆600Updated last year
- Programming language agnostic type construction language based on polynomials.☆366Updated 3 months ago
- Pointless: a scripting language for learning and fun☆121Updated 3 years ago
- A compiler for Standard ML, somewhat☆199Updated 2 years ago
- The cuteness implementation of a dependently typed language.☆188Updated last year
- ☆175Updated last week
- A simple expressions language with polymorphic extensible row types.☆300Updated last year