jasonhemann / microKanren-DLS-16
microKanren implementation from DLS '16
☆14Updated 6 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
- Visually bootstrap a self-sustaining system, and take it from there.☆11Updated 2 months ago
- Kanren with databases☆43Updated 9 months ago
- A programming argot☆58Updated last year
- ☆42Updated last year
- Leibniz - a Digital Scientific Notation☆34Updated last month
- A JavaScript based Scheme runtime for Gambit and Gerbil.☆15Updated last year
- Probabilistic miniKanren☆61Updated 9 years ago
- experimental computational medium and supporting tools☆22Updated 2 weeks ago
- The Hy Transformer☆83Updated 6 years ago
- A data frame implementation for Racket☆37Updated last year
- An interface to Python for Gambit Scheme☆20Updated 2 years ago
- a library to assist in the design of geometric designs☆24Updated 4 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆58Updated 6 years ago
- the 7 gui project☆56Updated last year
- Collapsing Towers of Interpreters (in Scheme)☆57Updated 6 years ago
- Interactive POetry Editor☆28Updated 3 years ago
- Prototype Object Orientation for Gerbil Scheme☆24Updated this week
- The GRAphical Scheme Programming Environment☆47Updated 3 weeks ago
- S-expression-aware diffing tool based on Levenshtein-like tree edit distance.☆22Updated 4 years ago
- The Linda process coordination language written in Clojure.☆27Updated 9 years ago
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆19Updated last year
- A column-oriented, dataframe implementation for Racket.☆17Updated last month
- A Common Lisp Framework for the Semantic Web☆22Updated 4 years ago
- lux - a simple library for creating real-time graphical apps☆30Updated 3 years ago
- Easily create large command-line interfaces in Racket☆10Updated 3 years ago
- GNU APL native interop for Clojure☆29Updated 3 years ago
- Hy macros for Hypothesis framework☆14Updated last year
- When Lisp and Vhdl have a son.☆43Updated 5 years ago
- Sunrise on the Boxer Reconstruction Project☆49Updated this week