Alternatives and similar repositories for reading-material

Users that are interested in reading-material are comparing it to the libraries listed below

• stchang / macrotypes
  ☆138Updated 3 years ago
• lexi-lambda / talks
  ☆45Updated 2 years ago
• namin / staged-miniKanren
  multi-stage relational programming for staged relational interpreters: running with holes, faster
  ☆137Updated 3 months ago
• namin / metaprogramming
  Course on Metaprogramming
  ☆73Updated 2 months ago
• jsiek / B629-denotational
  Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University
  ☆73Updated 7 years ago
• rain-1 / continuations-study-group
  ☆79Updated 6 years ago
• namin / mk-on-smt
  miniKanren for search, SMT for solving
  ☆13Updated 5 years ago
• webyrd / normalization-by-evaluation
  Normalization-by-evaluation in miniKanren
  ☆24Updated 2 years ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago
• ekmett / propagators
  The Art of the Propagator. See also:
  ☆174Updated last year
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆46Updated last month
• k-tsushima / Shin-Barliman
  Research project: Program synthesis using updated interface, template and types.
  ☆14Updated 4 years ago
• wilbowma / dissertation
  The source for "Compiling with Dependent Types" (my dissertation)
  ☆30Updated 3 years ago
• namin / metamk
  Prolog-Style Meta-Interpreters in miniKanren
  ☆33Updated 6 months ago
• kmicinski / cmsc330examples
  Examples from the class CMSC 330 during Summer 2015
  ☆48Updated 10 years ago
• wilbowma / cur
  A less devious proof assistant
  ☆226Updated 2 years ago
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• namin / clpsmt-miniKanren
  CLP(SMT) on top of miniKanren
  ☆38Updated 3 years ago
• qfpl / propagator-examples
  ☆38Updated 6 years ago
• theoremprover-museum / theoremprover-museum.github.io
  ☆56Updated 4 months ago
• lexi-lambda / racket-mvar
  An implementation of Haskell’s MVars in Racket
  ☆30Updated 11 months ago
• kirkedal / rfun-interp
  Interpreter for the reversible functional language rFun
  ☆36Updated 7 years ago
• ilya-klyuchnikov / lambdapi
  Dependently Typed Lambda Calculus in Haskell
  ☆115Updated 4 years ago
• jasonhemann / constraint-microKanren
  A microKanren framework for implementing constraints.
  ☆18Updated 7 years ago
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆31Updated 13 years ago
• dvanhorn / redex-aam-tutorial
  An Introduction to Redex with Abstracting Abstract Machines
  ☆103Updated last year
• nrnrnr / build-prove-compare-student-code
  Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey
  ☆28Updated 2 years ago
• scheme-and-computer-science / library.readscheme.org
  Bibliography of Scheme-related Research
  ☆15Updated 6 years ago
• prathyvsh / history-of-logic
  A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.
  ☆57Updated 6 months ago
• plum-umd / abstracting-definitional-interpreters
  Abstracting Definitional Interpreters
  ☆69Updated 7 years ago