Alternatives and similar repositories for eopl

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

• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆32Updated 13 years ago
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 10 years ago
• enso-lang / enso
  ☆71Updated 5 years ago
• webyrd / miniKanren-uncourse
  Code, wiki, and resources for the weekly miniKanren uncourse
  ☆52Updated 10 years ago
• webyrd / dissertation-single-spaced
  Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
  ☆63Updated 7 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 14 years ago
• takikawa / tr-pfds
  Typed Racket data structure libraries
  ☆59Updated 4 years ago
• jasonhemann / miniKanren
  An outdated miniKanren implementation with a not-pairo constraint
  ☆30Updated 12 years ago
• namin / clpsmt-miniKanren
  CLP(SMT) on top of miniKanren
  ☆39Updated 3 years ago
• fisherdj / miniAdapton
  a minimal implementation of incremental computation in Scheme
  ☆36Updated 8 years ago
• epsil / gll
  General Parser Combinators in Racket
  ☆193Updated 9 years ago
• mthom / shen-minikanren
  An embedding of miniKanren in Shen.
  ☆25Updated 10 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆33Updated last year
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 3 years ago
• otabat / shen-jvm
  A Java implementation of the Shen programming language
  ☆28Updated 6 years ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago
• swr1bm86 / Ntha
  The Ntha Programming Language
  ☆91Updated 9 years ago
• dedbox / racket-algebraic
  Algebraic structures for untyped Racket
  ☆78Updated last year
• webyrd / cato
  Concatenative relational interpreter in miniKanren
  ☆22Updated 10 years ago
• MateVM / MateVM
  A Java JIT compiler written in Haskell
  ☆73Updated 12 years ago
• namin / lms-verify
  generative programming & verification
  ☆34Updated 7 months ago
• racket / datalog
  ☆49Updated 2 months ago
• jasonhemann / constraint-microKanren
  A microKanren framework for implementing constraints.
  ☆19Updated 7 years ago
• siraben / r5rs-denot
  A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
  ☆21Updated 9 months ago
• gregr / icfp2017-artifact-auas7pp
  ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems
  ☆29Updated 8 years ago
• SMLFamily / SMLFamily.github.io
  Web site for standardml.org.
  ☆36Updated 2 years ago
• idris-lang / idris-tutorial
  A tutorial to the Idris Programming Language.
  ☆95Updated 10 years ago
• namin / dot
  formalization of the Dependent Object Types (DOT) calculus
  ☆161Updated 9 years ago
• webyrd / webmk
  miniKanren for interactive tutorials on the web
  ☆34Updated 8 months ago
• conal / talk-2018-deep-learning-rebooted
  "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin
  ☆52Updated 6 years ago