Alternatives and similar repositories for SMRTYPRTY:

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

• miniKanren / TheReasonedSchemer
  Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.
  ☆126Updated 11 years ago
• CompSciCabal / reading-material
  Reading schedule and our library of pdfs
  ☆24Updated 5 years ago
• readevalprintlove / black
  Kenichi Asai's reflective programming language Black
  ☆197Updated 2 years ago
• mthom / shentong
  A Haskell implementation of the Shen programming language.
  ☆166Updated 6 years ago
• pkrumins / the-little-mler
  All the ML code examples from the book "The Little MLer"
  ☆87Updated 14 years ago
• calvis / cKanren
  Constraint programming language embedded in Racket
  ☆152Updated 3 years ago
• Shen-Language / wiki
  ☆73Updated 10 years ago
• webyrd / dissertation-single-spaced
  Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
  ☆59Updated 6 years ago
• ijp / pfds
  functional data structures for scheme
  ☆133Updated 5 years ago
• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 9 years ago
• jdormit / sicp-logic
  A Clojure implementation of the logic programming language from chapter 4 of SICP
  ☆68Updated 5 years ago
• latte-central / LaTTe
  LaTTe : a Laboratory for Type Theory experiments (in clojure)
  ☆259Updated last year
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆84Updated 3 years ago
• dedbox / racket-algebraic
  Algebraic structures for untyped Racket
  ☆76Updated 6 months ago
• wilbowma / cur
  A less devious proof assistant
  ☆222Updated 2 years ago
• TheReasonedSchemer2ndEd / CodeFromTheReasonedSchemer2ndEd
  Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic
  ☆133Updated 6 years ago
• webyrd / miniKanren-with-symbolic-constraints
  Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.
  ☆161Updated 7 years ago
• nanopass / nanopass-framework-racket
  nanopass compiler framework for Racket
  ☆187Updated last year
• jackfirth / lens
  A Racket package for creating and composing pure functional lenses
  ☆75Updated 5 years ago
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 9 years ago
• talw / crisp-compiler
  A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend
  ☆100Updated 8 years ago
• namin / staged-miniKanren
  staged relational interpreters: running with holes, faster
  ☆126Updated 2 months ago
• jasonhemann / microKanren
  The implementation of microKanren, a featherweight relational programming language
  ☆308Updated 10 years ago
• webyrd / miniKanren-uncourse
  Code, wiki, and resources for the weekly miniKanren uncourse
  ☆52Updated 9 years ago
• eatonphil / ponyo
  Library and Toolkit for Standard ML
  ☆145Updated 2 years ago
• stchang / macrotypes
  ☆136Updated 2 years ago
• webyrd / miniKanren-hangout-summaries
  Summaries of intro and advanced miniKanren hangout series
  ☆28Updated 7 years ago
• namin / propagators
  the Art of the Propagator
  ☆51Updated 12 years ago
• mflatt / expander
  ☆63Updated 3 years ago
• namin / logically
  explorations in core.logic
  ☆115Updated 7 months ago