Alternatives and similar repositories for reading-material

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

• gregr / dbKanren
  Kanren with databases
  ☆43Updated 10 months ago
• lexi-lambda / talks
  ☆44Updated 2 years ago
• namin / staged-miniKanren
  multi-stage relational programming for staged relational interpreters: running with holes, faster
  ☆132Updated last week
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago
• TikhonJelvis / Simple-Prolog
  A simple Prolog interpreter
  ☆42Updated 3 years ago
• racket / datalog
  ☆48Updated last month
• Ucombinator / parsing-with-zippers
  A clean implementation of Parsing with Zippers.
  ☆38Updated 6 years ago
• conal / talk-2018-deep-learning-rebooted
  "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin
  ☆52Updated 5 years ago
• lambda-pi-plus / lambda-pi-plus
  A simple Depdently-Typed Language for Research and Learning
  ☆57Updated 8 years ago
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 10 years ago
• madgen / temporalog
  A Datalog extension to reason about time with CTL operators
  ☆14Updated 5 years ago
• phadej / write-yourself-a-typed-functional-language
  Write yourself a typed functional language
  ☆65Updated 6 years ago
• wilbowma / dissertation
  The source for "Compiling with Dependent Types" (my dissertation)
  ☆30Updated 3 years ago
• mryndzionek / tlaplus_specs
  Different TLA+ specifications, mostly for learning purposes
  ☆32Updated last year
• mflatt / macro-dsl-tutorial
  ☆14Updated 9 years ago
• kandersen / dpc
  Distributed Protocol Combinators
  ☆13Updated 4 years ago
• ekmett / propagators
  The Art of the Propagator. See also:
  ☆174Updated last year
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆31Updated 12 years ago
• alhassy / next-700-module-systems
  PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.
  ☆81Updated 3 years ago
• astampoulis / makam
  The Makam Metalanguage
  ☆198Updated 2 years ago
• jmchapman / TT-in-TT
  Type theory in type theory
  ☆16Updated 13 years ago
• qfpl / propagator-examples
  ☆38Updated 5 years 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
• jozefg / blott
  An experimental type checker for a modal dependent type theory.
  ☆112Updated 5 years ago
• rain-1 / continuations-study-group
  ☆79Updated 6 years ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆43Updated last year
• ProjectMAC / propagators
  The propagator system
  ☆41Updated 9 years ago
• mit-plv / timl
  TiML: A Functional Programming Language with Time Complexity
  ☆80Updated 7 years ago
• OPLSS / oplss-notes-2018
  Notes and handouts from OPLSS 2018
  ☆55Updated 6 years ago