breck7 / research
I moved this folder. Keeping this repo up for archival purposes only.
☆17Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for research
- Leibniz - a Digital Scientific Notation☆34Updated 3 months ago
- debugging biological networks to reach coherence, completeness and consistency☆43Updated 9 months ago
- microKanren implementation from DLS '16☆14Updated 6 years ago
- A collection of libraries in Scheme☆12Updated 3 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 3 months ago
- Riffs on spreadsheets for manipulating JSON and building GUIs☆16Updated 4 years ago
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆15Updated 4 years ago
- experimental computational medium and supporting tools☆22Updated this week
- A Datalog-style database that enables programmers to represent facts using natural language☆51Updated last year
- Lisperanto is a spatial canvas for programming; Lisperanto is a spatial canvas for knowledge; Lisperanto is a spatial canvas for ideas;☆42Updated 2 years ago
- Interactive Scheme Primer, written in Scheme.☆22Updated last month
- A MiniKanren in Python☆36Updated 8 years ago
- Javascript interpreters featuring web workers☆37Updated 8 years ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆34Updated 12 years ago
- [Mirror] A close reading of the μKanren paper.☆41Updated 2 years ago
- ☆14Updated 2 weeks ago
- A Declarative Theorem Prover for First-Order Classical Logic☆28Updated 5 months ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆59Updated 5 years ago
- A [personal]<-[notebook]->[network]. Complete with custom numerics for constrained Gaussian gravitation physics.☆22Updated 2 years ago
- Get psyched about mapping knowledge!☆30Updated last year
- A programming language and user interface toolkit for creating structured editors.☆19Updated last month
- ☆35Updated 3 months ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- Croquet Jasmine (2004) on SqueakJS (WIP)☆29Updated 5 months ago
- Summer Scheming!!!!!!☆11Updated 4 years ago
- A programming argot☆58Updated 7 months ago
- This is a logic-based database that can do inferences based on known facts in addition to SQL type queries. Rules are introduced through …☆22Updated 9 months ago
- Lisp and Reflective Tower in Javascript☆16Updated last year
- Executable version of Structure and Interpretation of Classical Mechanics.☆29Updated 2 years ago
- purple: compiling a reflective language☆29Updated last month