Alternatives and similar repositories for sham

Users that are interested in sham are comparing it to the libraries listed below

• mflatt / zuo
  ☆40Updated this week
• michaelballantyne / faster-minikanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆158Updated 3 months ago
• namin / staged-miniKanren
  multi-stage relational programming for staged relational interpreters: running with holes, faster
  ☆132Updated last month
• drym-org / qi
  An embeddable flow-oriented language.
  ☆71Updated this week
• samth / fancy-app
  A Scala-style magic function application form
  ☆43Updated 2 years ago
• jackfirth / resyntax
  A Racket refactoring engine
  ☆63Updated last week
• Bogdanp / rackcheck
  A property-based testing library for Racket.
  ☆32Updated last year
• mflatt / not-a-box
  ☆58Updated 8 years ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 10 months ago
• takikawa / sweet-racket
  A port of sweet expressions to Racket
  ☆48Updated 2 years ago
• syntax-objects / syntax-parse-example
  Collection of syntax/parse macros
  ☆30Updated 2 years ago
• lexi-lambda / megaparsack
  Racket parser combinators inspired by parsack and megaparsec
  ☆80Updated 7 months ago
• florence / diagrama
  A diagram drawing library for Racket
  ☆19Updated 4 years ago
• jeapostrophe / adqc
  adqc - A version of C with verification and resource bounds
  ☆23Updated 3 years ago
• mighty-gerbils / gerbil-utils
  Collection of Utilities for Gerbil Scheme
  ☆43Updated 10 months ago
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆32Updated this week
• stchang / macrotypes
  ☆137Updated 2 years ago
• yjqww6 / racket-x64asm
  a simple x64 assembler written in typed/racket
  ☆18Updated 4 years ago
• namin / clpsmt-miniKanren
  CLP(SMT) on top of miniKanren
  ☆36Updated 3 years ago
• tizoc / shen-scheme
  Shen/Scheme implementation
  ☆116Updated 2 weeks ago
• kiranandcode / rhombus-in-the-rough
  A 2D RPG implemented in the Rhombus Racket dialect
  ☆53Updated last year
• lexi-lambda / functional
  Functional interfaces and datatypes for Racket
  ☆43Updated 3 years ago
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆84Updated 3 years ago
• jasonhemann / constraint-microKanren
  A microKanren framework for implementing constraints.
  ☆18Updated 7 years ago
• mflatt / shrubbery-rhombus-0
  ☆15Updated 2 years ago
• dhess / rabbit-scheme
  Guy Steele's RABBIT Scheme compiler
  ☆60Updated 16 years ago
• mflatt / expander
  ☆71Updated 2 months ago
• rain-1 / continuations-study-group
  ☆79Updated 6 years ago
• mthom / scryer-shen
  ☆51Updated 2 weeks ago
• pmatos / nora
  An experimental Racket implementation using LLVM/MLIR
  ☆61Updated last year