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:
- Collapsing Towers of Interpreters (in Scheme)☆57Updated 6 years ago
- Kanren with databases☆43Updated 10 months ago
- Summaries of intro and advanced miniKanren hangout series☆28Updated 7 years ago
- A programming argot☆58Updated last year
- Leibniz - a Digital Scientific Notation☆34Updated last month
- A parser tool for Racket with an expressive grammar notation☆20Updated 10 years ago
- Visually bootstrap a self-sustaining system, and take it from there.☆11Updated 3 months ago
- Lojban ologs (categorical databases) using jq☆24Updated 6 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆58Updated 6 years ago
- ☆42Updated last year
- Interactive POetry Editor☆28Updated 3 years ago
- Prototype Object Orientation for Gerbil Scheme☆24Updated 3 weeks ago
- A column-oriented, dataframe implementation for Racket.☆17Updated 2 months ago
- S-expression-aware diffing tool based on Levenshtein-like tree edit distance.☆22Updated 4 years ago
- experimental computational medium and supporting tools☆22Updated this week
- A data frame implementation for Racket☆37Updated last year
- Datalog implemented in minikanren☆24Updated 7 years ago
- Easily create large command-line interfaces in Racket☆10Updated 3 years ago
- a library to assist in the design of geometric designs☆24Updated 4 years ago
- the 7 gui project☆56Updated last year
- Deep learning library☆41Updated 3 months ago
- Learn Racket by doing: Practice language features by fixing topic-oriented unit tests.☆79Updated 2 years ago
- Sunrise on the Boxer Reconstruction Project☆49Updated last week
- ☆46Updated 3 weeks ago
- explorations in core.logic☆118Updated 11 months ago
- The Hy Transformer☆83Updated 6 years ago
- access (parts of) VIGRA's functionality from Racket☆15Updated 3 years ago
- The GRAphical Scheme Programming Environment☆47Updated last month
- A property-based testing library for Racket.☆32Updated last year
- Get psyched about mapping knowledge!☆30Updated last year