Alternatives and similar repositories for bronze-to-gm-miniKanren

Users that are interested in bronze-to-gm-miniKanren are comparing it to the libraries listed below

• webyrd / will-writes-books
  ☆12Updated last year
• harsman / dyalog-mode
  Emacs major mode for Dyalog APL
  ☆16Updated 2 years ago
• drym-org / qi
  An embeddable flow-oriented language.
  ☆71Updated last week
• lexi-lambda / threading
  Threading macros for Racket
  ☆53Updated last year
• haskell-lisp / yale-haskell
  HASKELL: Yale Haskell system written in Lisp
  ☆103Updated 11 years ago
• webyrd / dissertation-single-spaced
  Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
  ☆59Updated 6 years ago
• LeifAndersen / interactive-syntax-clojure
  ☆42Updated last year
• webyrd / imperishable-wonderland
  An Imperishable Wonderland of Infinite Fun
  ☆12Updated last year
• soegaard / pyffi
  Use Python from Racket
  ☆35Updated last year
• panicz / grasp
  The GRAphical Scheme Programming Environment
  ☆51Updated this week
• jjtolton / libscryer-clj
  Clojure bindings for Scryer Prolog
  ☆17Updated 8 months ago
• jackfirth / resyntax
  A Racket refactoring engine
  ☆65Updated this week
• mnieper / scheme-macros
  Scheme Macro Programming
  ☆57Updated last year
• michaelballantyne / faster-minikanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆162Updated 9 months ago
• lexi-lambda / functional
  Functional interfaces and datatypes for Racket
  ☆43Updated 4 years ago
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆37Updated 3 weeks ago
• zyrolasting / racket-koans
  Learn Racket by doing: Practice language features by fixing topic-oriented unit tests.
  ☆80Updated 2 years ago
• ralsei / sawzall
  A grammar of data manipulation for Racket.
  ☆20Updated 2 months ago
• Bogdanp / rackcheck
  A property-based testing library for Racket.
  ☆32Updated last year
• syntax-objects / syntax-parse-example
  Collection of syntax/parse macros
  ☆31Updated 3 years ago
• namin / logically
  explorations in core.logic
  ☆118Updated last year
• rmculpepper / sexp-rewrite
  emacs package for pattern-based rewriting of sexp-structured code
  ☆40Updated 3 years ago
• lang-party / Summer2022
  Lang Party 2022
  ☆25Updated 3 years ago
• webyrd / miniKanren-hangout-summaries
  Summaries of intro and advanced miniKanren hangout series
  ☆28Updated 7 years ago
• disconcision / containment-patterns
  pattern combinators extending racket/match to capture 🔗 contexts 📦
  ☆19Updated 6 years ago
• scheme-and-computer-science / library.readscheme.org
  Bibliography of Scheme-related Research
  ☆15Updated 6 years ago
• schemeorg-community / index.scheme.org
  Searchable index of Scheme Lisp libraries
  ☆22Updated last month
• s-expressionists / Cleavir
  an implementation-independent framework for creating Common Lisp compilers
  ☆53Updated 3 weeks ago
• caocao485 / awesome-racket-and-scheme
  awesome racket and scheme project
  ☆99Updated 2 years ago
• mentat-collective / sicm-book
  Executable version of Structure and Interpretation of Classical Mechanics.
  ☆40Updated 3 years ago