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
• drym-org / qi
  An embeddable flow-oriented language.
  ☆74Updated 3 weeks ago
• soegaard / pyffi
  Use Python from Racket
  ☆36Updated last month
• LeifAndersen / interactive-syntax-clojure
  ☆42Updated 2 years ago
• lexi-lambda / threading
  Threading macros for Racket
  ☆54Updated last year
• webyrd / dissertation-single-spaced
  Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
  ☆60Updated 7 years ago
• harsman / dyalog-mode
  Emacs major mode for Dyalog APL
  ☆16Updated 2 years ago
• haskell-lisp / yale-haskell
  HASKELL: Yale Haskell system written in Lisp
  ☆104Updated 11 years ago
• rmculpepper / sexp-rewrite
  emacs package for pattern-based rewriting of sexp-structured code
  ☆40Updated 4 years ago
• jackfirth / resyntax
  A Racket refactoring engine
  ☆65Updated last week
• syntax-objects / syntax-parse-example
  Collection of syntax/parse macros
  ☆31Updated 3 years ago
• Bogdanp / rackcheck
  A property-based testing library for Racket.
  ☆33Updated last year
• lexi-lambda / functional
  Functional interfaces and datatypes for Racket
  ☆43Updated 4 years ago
• disconcision / containment-patterns
  pattern combinators extending racket/match to capture 🔗 contexts 📦
  ☆19Updated 6 years ago
• jjtolton / libscryer-clj
  Clojure bindings for Scryer Prolog
  ☆17Updated 10 months ago
• SWI-Prolog / packages-sweep
  GNU-Emacs interface that embeds Prolog as an Emacs module
  ☆16Updated last week
• namin / logically
  explorations in core.logic
  ☆118Updated last year
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆39Updated 2 months ago
• lang-party / Summer2022
  Lang Party 2022
  ☆25Updated 3 years ago
• webyrd / imperishable-wonderland
  An Imperishable Wonderland of Infinite Fun
  ☆13Updated last year
• ralsei / sawzall
  A grammar of data manipulation for Racket.
  ☆20Updated 4 months ago
• namin / pink
  Collapsing Towers of Interpreters (in Scheme)
  ☆59Updated 7 years ago
• lexi-lambda / megaparsack
  Racket parser combinators inspired by parsack and megaparsec
  ☆82Updated last year
• hinkelman / chez-docs
  Access Chez Scheme documentation from the REPL
  ☆30Updated 7 months ago
• webyrd / miniKanren-hangout-summaries
  Summaries of intro and advanced miniKanren hangout series
  ☆28Updated 8 years ago
• zellio / j-mode
  Emacs major mode for editing J code.
  ☆49Updated 3 months ago
• jackfirth / lens
  A Racket package for creating and composing pure functional lenses
  ☆79Updated 6 years ago
• idris-community / idris2-mode
  Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
  ☆28Updated last year
• samth / fancy-app
  A Scala-style magic function application form
  ☆43Updated 3 years ago
• webyrd / faster-miniKanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆36Updated 3 years ago