dbunker / SABRLinks
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
Sorting:
- Julia Implementation of Unums☆42Updated 8 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- A MiniKanren in Python☆35Updated 8 years ago
- software archaeology of reflective towers of interpreters☆16Updated 3 weeks ago
- An experimental esolang implementation of a Kolmogorov-Uspensky machine☆29Updated 9 years ago
- experimental computational medium and supporting tools☆22Updated this week
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆35Updated 12 years ago
- Book lucid interpreter written in python☆24Updated 5 years ago
- Relational version of parsing with derivatives code☆43Updated 12 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- Lojban ologs (categorical databases) using jq☆24Updated 6 years ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- Simple Neural Network Examples in 8 lines APL☆31Updated 2 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Updated 12 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- Kanren with databases☆43Updated 10 months ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- Bidirectional transformation for Relational view update Datalog-based Strategies☆21Updated last year
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16Updated last month
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆31Updated 12 years ago
- Probabilistic miniKanren☆62Updated 9 years ago
- Cell language C++ runtime☆18Updated 4 years ago
- ☆14Updated 4 years ago
- A simulator for visualising the evolution of π-calculus terms☆42Updated 3 years ago
- NumLin: Linear Types for Linear Algebra☆23Updated 2 years ago
- A small language to demo turning an interpreter into a compiler☆11Updated 8 years ago
- ☆38Updated 9 years ago