Alternatives and similar repositories for reading-material:

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

• mryndzionek / tlaplus_specs
  Different TLA+ specifications, mostly for learning purposes
  ☆32Updated 11 months ago
• scheme-and-computer-science / library.readscheme.org
  Bibliography of Scheme-related Research
  ☆15Updated 6 years ago
• k-tsushima / Shin-Barliman
  Research project: Program synthesis using updated interface, template and types.
  ☆14Updated 4 years ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 8 months ago
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 9 years ago
• Ucombinator / parsing-with-zippers
  A clean implementation of Parsing with Zippers.
  ☆37Updated 6 years ago
• JacquesCarette / TheoriesAndDataStructures
  Showing how some simple mathematical theories naturally give rise to some common data-structures
  ☆38Updated 10 months ago
• rain-1 / continuations-study-group
  ☆78Updated 5 years ago
• iambrj / metaKanren
  Relational interpreter for miniKanren, in miniKanren.
  ☆14Updated 3 years ago
• wilbowma / dissertation
  The source for "Compiling with Dependent Types" (my dissertation)
  ☆30Updated 2 years ago
• webyrd / normalization-by-evaluation
  Normalization-by-evaluation in miniKanren
  ☆24Updated 2 years ago
• namin / mk-on-smt
  miniKanren for search, SMT for solving
  ☆13Updated 5 years ago
• namin / metamk
  Prolog-Style Meta-Interpreters in miniKanren
  ☆31Updated last month
• camoy / corpse-reviver
  Sound and efficient gradual typing via contract verification.
  ☆20Updated last year
• webyrd / curnelo
  Cur dependently-typed language in miniKanren.
  ☆17Updated 7 years ago
• jsiek / B629-denotational
  Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University
  ☆72Updated 6 years ago
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆16Updated 6 months ago
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated 8 months ago
• namin / metaprogramming
  Course on Metaprogramming
  ☆55Updated 3 months ago
• mpickering / 500-sql-haskell
  A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"
  ☆46Updated 6 years ago
• lexi-lambda / talks
  ☆44Updated last year
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 7 years ago
• jdan / compiler.lean
  A formally verified compiler for a simple language with numbers and sums
  ☆27Updated 4 years ago
• stchang / macrotypes
  ☆137Updated 2 years ago
• plum-umd / abstracting-definitional-interpreters
  Abstracting Definitional Interpreters
  ☆68Updated 7 years ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago
• maxsnew / modal-scheme
  A Scheme-like CBPV language with Racket Interoperability
  ☆39Updated last year
• jsiek / arete
  Arete is an experimental programming language.
  ☆12Updated last year
• dvanhorn / dpc
  Designing Programs with Class
  ☆28Updated 7 years ago
• VictorTaelin / optimul
  Multiplication on optimal λ-calculus reducers
  ☆22Updated 4 years ago