Alternatives and similar repositories for Score4

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

• eholk / elegant-weapons
  An R6RS framework for creating compilers that target C.
  ☆114Updated 9 years ago
• webyrd / cool-relational-interpreter-examples
  Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
  ☆14Updated 10 years ago
• gravicappa / shen-js
  Shen on javascript.
  ☆70Updated 6 years ago
• bodil / microkanrens
  Implementations of µKanren in assorted languages
  ☆64Updated 9 years ago
• Pauan / nulan
  Purely functional statically typed Lisp which compiles to JavaScript
  ☆47Updated 7 years ago
• webyrd / miniKanren-uncourse
  Code, wiki, and resources for the weekly miniKanren uncourse
  ☆52Updated 10 years ago
• epsil / gll
  General Parser Combinators in Racket
  ☆194Updated 8 years ago
• mthom / shen-minikanren
  An embedding of miniKanren in Shen.
  ☆25Updated 10 years ago
• orchid-hybrid / scm--js
  scm->js
  ☆22Updated 10 years ago
• coding-robots / iwl
  Previous version of "I Write Like" written in Racket
  ☆59Updated 9 years ago
• bobzhang / fan
  Compile-time metaprogramming for OCaml
  ☆74Updated last year
• Shen-Language / wiki
  ☆74Updated 10 years ago
• webyrd / webmk
  miniKanren for interactive tutorials on the web
  ☆34Updated 2 months ago
• webyrd / cato
  Concatenative relational interpreter in miniKanren
  ☆22Updated 10 years ago
• akeep / nanopass-framework-racket
  Racket port of the nanopass-framework
  ☆34Updated 4 years ago
• gigasquid / babar
  A little language for machines with speech acts
  ☆110Updated 6 years ago
• endobson / racket-llvm
  Bindings for llvm in racket
  ☆66Updated 10 years ago
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 10 years ago
• otabat / shen-c
  A C implementation of the Shen programming language
  ☆70Updated 3 years ago
• vasil-sd / shen-libs
  Shen experimental libraries
  ☆148Updated 6 years ago
• calvis / cKanren
  Constraint programming language embedded in Racket
  ☆153Updated 3 years ago
• deech / shen-rust
  ☆35Updated 6 years ago
• webyrd / probKanren
  Probabilistic miniKanren
  ☆63Updated 9 years ago
• ntoronto / drbayes
  Dr. Bayes
  ☆84Updated 9 years ago
• takikawa / racket-clojure
  #lang clojure
  ☆125Updated 10 years ago
• gravicappa / klvm
  Shen KLambda to KLVM translator.
  ☆30Updated 9 years ago
• jasonhemann / miniKanren
  An outdated miniKanren implementation with a not-pairo constraint
  ☆30Updated 11 years ago
• ympbyc / Carrot
  Purely functional lisp featuring: default currying, left-associative s-expression, lazy evaluation, static type system, and statically de…
  ☆67Updated 2 years ago
• dyoo / whalesong
  Whalesong: Racket to JavaScript compiler
  ☆253Updated 8 years ago
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆86Updated 3 years ago