Alternatives and similar repositories for pvts

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

• Shen-Language / wiki
  ☆74Updated 10 years ago
• arcfide / ChezWEB
  Hygienic Literate Programming for Chez Scheme
  ☆46Updated 7 years ago
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆86Updated 4 years ago
• tonyg / rmacs
  An EMACS written in Racket. Runs in ANSI-compatible terminals. -- MOVED TO https://git.leastfixedpoint.com/tonyg/rmacs
  ☆75Updated 7 years ago
• mflatt / not-a-box
  ☆58Updated 8 years ago
• shikantaza / pLisp
  Don't Lisp, Talk!
  ☆57Updated last year
• racket / racket7
  ☆169Updated 7 years ago
• TaylanUB / scheme-srfis
  R7RS SRFI implementations
  ☆33Updated last year
• miniKanren / simple-miniKanren
  Simple miniKanren, with only ==, fresh, and conde. A good starting point for exploratory hacking.
  ☆43Updated 2 years ago
• luksamuk / believe
  A Bel Lisp interpreter built with C, written as a book/literate program (archived)
  ☆56Updated 4 years ago
• ijp / pfds
  functional data structures for scheme
  ☆136Updated 6 years ago
• webyrd / quines
  Relational interpreter in miniKanren that can generate quines
  ☆132Updated 10 years ago
• webyrd / miniKanren-with-symbolic-constraints
  Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.
  ☆166Updated 8 years ago
• mishoo / SLip
  A Lisp system for the browser
  ☆245Updated this week
• Shen-Language / shen-cl
  Shen for Common Lisp (Unmaintained)
  ☆128Updated last year
• lexi-lambda / racket-r7rs
  An implementation of R7RS in Racket
  ☆101Updated last year
• michaelballantyne / faster-minikanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆161Updated 8 months ago
• logicmoo / wam_common_lisp
  Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog…
  ☆102Updated 4 years ago
• soegaard / racket-cas
  Simple computer algebra system
  ☆65Updated 10 months ago
• kstephens / tinyclos
  Tiny CLOS for Scheme: from ftp://ftp.parc.xerox.com/pub/mops/tiny/
  ☆60Updated 14 years ago
• projectured / projectured
  ProjecturEd is a generic purpose projectional editor.
  ☆142Updated 3 years ago
• arcfide / chez-srfi
  SRFIs for Chez Scheme
  ☆104Updated last month
• pkrumins / the-reasoned-schemer
  All the logic programming code examples from the book "The Reasoned Schemer"
  ☆52Updated 15 years ago
• becls / swish
  Swish Concurrency Engine
  ☆151Updated 2 weeks ago
• ChrisVine / chez-a-sync
  Asynchronous event loop for chez scheme with await semantics
  ☆39Updated 3 years ago
• webyrd / dissertation-single-spaced
  Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
  ☆59Updated 6 years ago
• ktakashi / r6rs-pffi
  Portable Foreign Function Interface (FFI) for R6RS
  ☆49Updated 5 months ago
• arcfide / chez-sockets
  Full Blown, portable, and extensible sockets library for Chez Scheme
  ☆39Updated 8 years ago
• namin / propagators
  the Art of the Propagator
  ☆52Updated 13 years ago
• lexi-lambda / racket-collections
  Generic collections API for Racket
  ☆52Updated 3 years ago