jasonhemann / microKanren-DLS-16Links
microKanren implementation from DLS '16
☆14Updated 7 years ago
Alternatives and similar repositories for microKanren-DLS-16
Users that are interested in microKanren-DLS-16 are comparing it to the libraries listed below
Sorting:
- Summaries of intro and advanced miniKanren hangout series☆28Updated 7 years ago
- ☆41Updated last year
- Deep learning library☆41Updated 3 months ago
- the 7 gui project☆56Updated last year
- A programming argot☆58Updated last year
- Kanren with databases☆43Updated 10 months ago
- Probabilistic miniKanren☆62Updated 9 years ago
- experimental computational medium and supporting tools☆22Updated this week
- Sunrise on the Boxer Reconstruction Project☆51Updated this week
- Collapsing Towers of Interpreters (in Scheme)☆57Updated 6 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆58Updated 6 years ago
- Easily create large command-line interfaces in Racket☆10Updated 4 years ago
- A column-oriented, dataframe implementation for Racket.☆17Updated 2 months ago
- Gerbil Package Directory☆22Updated last year
- debugging biological networks to reach coherence, completeness and consistency☆46Updated last year
- The GRAphical Scheme Programming Environment☆47Updated last week
- Interactive Scheme Primer, written in Scheme.☆22Updated 3 weeks ago
- Leibniz - a Digital Scientific Notation☆35Updated 2 months ago
- Visually bootstrap a self-sustaining system, and take it from there.☆11Updated 4 months ago
- Prototype Object Orientation for Gerbil Scheme☆24Updated last month
- Racket Stories is a "submit and vote" web site. This repo serves as an example of a small "in production" web-site written in Racket.☆49Updated 2 months ago
- Interactive POetry Editor☆28Updated 3 years ago
- lux - a simple library for creating real-time graphical apps☆30Updated 3 years ago
- A Scheme to WebAssembly compiler☆15Updated 3 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- a library to assist in the design of geometric designs☆24Updated 4 years ago
- R6RS SRFIs☆26Updated 13 years ago
- Art of Prolog Code☆36Updated 5 years ago
- ☆73Updated 10 years ago
- Treadmill: Gerbil-Emacs Networked REPL Environment☆33Updated 6 years ago