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:
- Leibniz - a Digital Scientific Notation☆36Updated 4 months ago
- Deep learning library☆44Updated 5 months ago
- Sunrise on the Boxer Reconstruction Project☆51Updated this week
- The GRAphical Scheme Programming Environment☆50Updated this week
- The Hy Transformer☆84Updated 6 years ago
- the 7 gui project☆56Updated last year
- Learn Racket by doing: Practice language features by fixing topic-oriented unit tests.☆80Updated 2 years ago
- Summaries of intro and advanced miniKanren hangout series☆28Updated 7 years ago
- debugging biological networks to reach coherence, completeness and consistency☆47Updated last year
- Collapsing Towers of Interpreters (in Scheme)☆57Updated 7 years ago
- Unix style pipes and a lambda shorthand syntax to make your Racket code more readable.☆27Updated 4 years ago
- A Scheme to WebAssembly compiler☆16Updated 3 years ago
- Kanren with databases☆44Updated last year
- ☆41Updated last year
- The Grand Scheme Glossary☆31Updated 2 months ago
- I moved this folder. Keeping this repo up for archival purposes only.☆17Updated last year
- ☆74Updated 10 years ago
- Prototype Object Orientation for Gerbil Scheme☆24Updated last week
- Art of Prolog Code☆36Updated 5 years ago
- Probabilistic miniKanren☆65Updated 9 years ago
- ☆48Updated last week
- Get psyched about mapping knowledge!☆30Updated 2 years ago
- In-Memory Immutable Graph Structure with Datalog Query Language in Common Lisp☆65Updated last year
- QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator☆32Updated 8 years ago
- ClioPatria provides an RDF application platform☆56Updated last week
- Try s7 scheme in your browser, powered by WebAssembly☆46Updated 4 years ago
- Interactive Scheme Primer, written in Scheme.☆22Updated 2 months ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago
- My adventure into the marvelous world of Web Assembly☆63Updated 7 years ago
- A data visualization library for Racket.☆38Updated 9 months ago