dbunker / SABR
Spatial and Action Based Resolver
☆13Updated 6 years ago
Alternatives and similar repositories for SABR:
Users that are interested in SABR are comparing it to the libraries listed below
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- software archaeology of reflective towers of interpreters☆16Updated 6 months ago
- ☆14Updated 4 years ago
- Julia Implementation of Unums☆42Updated 8 years ago
- ☆10Updated 2 years ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆13Updated 3 years ago
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆28Updated 3 years ago
- An implementation of the APL language in Python with the Numpy module☆29Updated 8 years ago
- Kanren with databases☆43Updated 8 months ago
- Probabilistic miniKanren☆61Updated 9 years ago
- experimental computational medium and supporting tools☆22Updated this week
- A Datalog-style database that enables programmers to represent facts using natural language☆52Updated 2 years ago
- ☆38Updated 8 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆34Updated 12 years ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆15Updated last year
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 4 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆51Updated 8 years ago
- A collection of Kanren implementations in Julia☆24Updated 8 years ago
- Beating the CAP theorem with the epidemic register☆16Updated 4 years ago
- Converting Non-Recursive Datalog to SQL☆24Updated 8 years ago
- A concise programming language that is fun to use☆16Updated 9 years ago
- My unofficial picat http://picat-lang.org/ repository☆28Updated last year
- purple: compiling a reflective language☆32Updated 6 months ago
- WebAssembly version of Plorth programming language☆16Updated 7 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆16Updated 5 years ago
- Shen KLambda to KLVM translator.☆30Updated 9 years ago
- Stack-based, multi-threaded, interpreted, general purpose programming language similar to PostScript☆11Updated 3 years ago