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
- Kanren with databases☆43Updated 7 months ago
- A JavaScript based Scheme runtime for Gambit and Gerbil.☆14Updated last year
- Blocky is a visual programming language based on Common Lisp.☆23Updated 12 years ago
- Summaries of intro and advanced miniKanren hangout series☆28Updated 7 years ago
- Gerbil Package Directory☆22Updated last year
- Easily create large command-line interfaces in Racket☆10Updated 3 years ago
- Leibniz - a Digital Scientific Notation☆33Updated 2 months ago
- Probabilistic miniKanren☆61Updated 9 years ago
- A Common Lisp Framework for the Semantic Web☆22Updated 3 years ago
- ☆42Updated last year
- Collection of Utilities for Gerbil Scheme☆43Updated 7 months ago
- A data frame implementation for Racket☆37Updated 10 months ago
- Bringing the terseness of Arc to Common Lisp. Originally at https://github.com/malisper/Clamp.☆11Updated 4 years ago
- Treadmill: Gerbil-Emacs Networked REPL Environment☆33Updated 5 years ago
- the 7 gui project☆56Updated last year
- A Bel Lisp interpreter built with C, written as a book/literate program (archived)☆54Updated 3 years ago
- Collapsing Towers of Interpreters (in Scheme)☆56Updated 6 years ago
- A programming argot☆58Updated 11 months ago
- Sunrise on the Boxer Reconstruction Project☆49Updated this week
- ☆47Updated 2 years ago
- Module system for languages that compile to Common Lisp☆60Updated last year
- When Lisp and Vhdl have a son.☆43Updated 5 years ago
- Experiments with fast term-rewriting in clojure☆63Updated 9 years ago
- functional hash-table/array/set☆7Updated 9 years ago
- A Scheme to WebAssembly compiler☆15Updated 3 years ago
- A SPARQL module for Guile Scheme.☆14Updated 4 years ago
- Guile numerical arrays and tensor extension☆54Updated last month
- S-expression-aware diffing tool based on Levenshtein-like tree edit distance.☆22Updated 4 years ago
- a library to assist in the design of geometric designs☆24Updated 4 years ago
- Livin' like it's 1813 (or 1988).☆32Updated last year