Alternatives and similar repositories for microKanren-DLS-16:

Users that are interested in microKanren-DLS-16 are comparing it to the libraries listed below

• webyrd / miniKanren-hangout-summaries
  Summaries of intro and advanced miniKanren hangout series
  ☆28Updated 7 years ago
• axch / rules
  An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.
  ☆19Updated 9 months ago
• webyrd / probKanren
  Probabilistic miniKanren
  ☆62Updated 9 years ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 5 months ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated this week
• massung / tabular-asa
  A column-oriented, dataframe implementation for Racket.
  ☆17Updated 4 months ago
• zyrolasting / unlike-assets
  Racket's module resolver for non-Racket assets
  ☆20Updated last year
• stamourv / sexp-diff
  S-expression-aware diffing tool based on Levenshtein-like tree edit distance.
  ☆21Updated 3 years ago
• racket / datalog
  ☆45Updated 2 months ago
• thephoeron / qgame
  QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator
  ☆32Updated 7 years ago
• zyrolasting / natural-cli
  Easily create large command-line interfaces in Racket
  ☆10Updated 3 years ago
• namin / leanTAP
  A Declarative Theorem Prover for First-Order Classical Logic
  ☆28Updated 7 months ago
• webyrd / scheme-primer
  Interactive Scheme Primer, written in Scheme.
  ☆22Updated 3 months ago
• namin / pink
  Collapsing Towers of Interpreters (in Scheme)
  ☆56Updated 6 years ago
• zkry / tessellation
  a library to assist in the design of geometric designs
  ☆25Updated 4 years ago
• hylang / hydiomatic
  The Hy Transformer
  ☆80Updated 5 years ago
• soegaard / racket-stories
  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.
  ☆47Updated 2 years ago
• alex-hhh / data-frame
  A data frame implementation for Racket
  ☆37Updated 8 months ago
• rickbutton / loki
  A Scheme to WebAssembly compiler
  ☆16Updated 3 years ago
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆33Updated last week
• darius / cant
  A programming argot
  ☆58Updated 9 months ago
• ioannad / jeffrey
  Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice.
  ☆26Updated 2 years ago
• namin / logically
  explorations in core.logic
  ☆115Updated 7 months ago
• phantomics / seed
  Interactive software environment based on Common Lisp.
  ☆76Updated 2 weeks ago
• guenchi / setup-scheme
  Github Actions CI / CD setup for Scheme
  ☆15Updated 2 years ago
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 7 years ago
• fare / lil-ilc2012
  LIL: higher-order datastructures meet CLOS -- Paper published at ILC'2012
  ☆21Updated last year
• ozooxo / Schemannian
  A scheme/Racket based package for symbolic mathematics for physicist, which currently supports a realization of Euler-Lagrangian Equation…
  ☆16Updated 10 years ago
• SquircleSpace / pfds
  Purely Functional Data Structures
  ☆12Updated 3 years ago