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
  ☆13Updated last year
• harsman / dyalog-mode
  Emacs major mode for Dyalog APL
  ☆15Updated 2 years ago
• LeifAndersen / interactive-syntax-clojure
  ☆42Updated last year
• justin2004 / may
  Clojure -> Dyalog APL
  ☆28Updated 3 years ago
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆31Updated 2 weeks ago
• drym-org / qi
  An embeddable flow-oriented language.
  ☆70Updated 3 weeks ago
• jjtolton / libscryer-clj
  Clojure bindings for Scryer Prolog
  ☆16Updated last month
• lang-party / Summer2022
  Lang Party 2022
  ☆25Updated 2 years ago
• soegaard / pyffi
  Use Python from Racket
  ☆30Updated 8 months ago
• rmculpepper / sexp-rewrite
  emacs package for pattern-based rewriting of sexp-structured code
  ☆37Updated 3 years ago
• syntax-objects / syntax-parse-example
  Collection of syntax/parse macros
  ☆29Updated 2 years ago
• lexi-lambda / functional
  Functional interfaces and datatypes for Racket
  ☆43Updated 3 years ago
• ralsei / sawzall
  A grammar of data manipulation for Racket.
  ☆20Updated 4 months ago
• namin / logically
  explorations in core.logic
  ☆117Updated 9 months ago
• panicz / grasp
  The GRAphical Scheme Programming Environment
  ☆46Updated this week
• amno1 / as-powerful-as-possible
  ☆47Updated 2 years ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆43Updated last week
• namin / leanTAP
  A Declarative Theorem Prover for First-Order Classical Logic
  ☆28Updated 9 months ago
• namin / pink
  Collapsing Towers of Interpreters (in Scheme)
  ☆56Updated 6 years ago
• panicz / master-thesis
  Data Structure Optimization for Functional Programs
  ☆33Updated 6 years ago
• webyrd / dissertation-single-spaced
  Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
  ☆58Updated 6 years ago
• Metaxal / rwind
  Window manager in the Racket programming language
  ☆87Updated 6 months ago
• lexi-lambda / megaparsack
  Racket parser combinators inspired by parsack and megaparsec
  ☆80Updated 5 months ago
• scheme-and-computer-science / library.readscheme.org
  Bibliography of Scheme-related Research
  ☆15Updated 5 years ago
• jackfirth / resyntax
  A Racket refactoring engine
  ☆63Updated 3 weeks ago
• webyrd / imperishable-wonderland
  An Imperishable Wonderland of Infinite Fun
  ☆10Updated 11 months ago
• webyrd / miniKanren-hangout-summaries
  Summaries of intro and advanced miniKanren hangout series
  ☆28Updated 7 years ago
• jeapostrophe / adqc
  adqc - A version of C with verification and resource bounds
  ☆23Updated 3 years ago
• philnguyen / soft-contract
  A prototype of soft contract verification for an untyped functional language
  ☆34Updated 3 years ago
• mighty-gerbils / gerbil-utils
  Collection of Utilities for Gerbil Scheme
  ☆43Updated 8 months ago