Alternatives and similar repositories for history-of-logic

Users that are interested in history-of-logic are comparing it to the libraries listed below

• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆52Updated last year
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆51Updated 6 months ago
• namin / metaprogramming
  Course on Metaprogramming
  ☆71Updated 2 weeks ago
• theoremprover-museum / theoremprover-museum.github.io
  ☆56Updated 2 months ago
• jsiek / B522-PL-Foundations
  Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University
  ☆53Updated 5 years ago
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• iambrj / metaKanren
  Relational interpreter for miniKanren, in miniKanren.
  ☆14Updated 3 years ago
• cedille / ial
  The Iowa Agda Library
  ☆48Updated 3 weeks ago
• ngzhian / ski
  SKI combinators
  ☆55Updated 8 years ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆28Updated 4 years ago
• jsiek / B629-denotational
  Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University
  ☆73Updated 7 years ago
• jonsterling / math
  A mini-book on category theory. Superseded by https://github.com/jonsterling/forest
  ☆52Updated 2 years ago
• leanprover / logic_and_proof_lean3
  CMU Undergrad Course
  ☆97Updated 2 years ago
• JohnWCartmell / Theory
  Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data
  ☆41Updated last month
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 4 years ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆46Updated last week
• sorawee / fmt
  A code formatter for Racket
  ☆81Updated 4 months ago
• freeman42x / awesome-agda-programming
  Awesome Agda Programming
  ☆16Updated 4 years ago
• lexi-lambda / racket-mvar
  An implementation of Haskell’s MVars in Racket
  ☆29Updated 9 months ago
• UniMath / Schools
  ☆86Updated 2 months ago
• ilya-klyuchnikov / ttlite
  A SuperCompiler for Martin-Löf's Type Theory
  ☆122Updated 3 years ago
• sorawee / pretty-expressive
  An implementation of "A Pretty Expressive Printer" in Racket
  ☆27Updated last year
• jsiek / gradual-typing-in-agda
  Formalizations of Gradually Typed Languages in Agda
  ☆57Updated 5 months ago
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆59Updated 5 years ago
• lexi-lambda / talks
  ☆44Updated 2 years ago
• Lysxia / advent-of-coq-2021
  ☆43Updated 3 years ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 6 months ago
• camoy / corpse-reviver
  Sound and efficient gradual typing via contract verification.
  ☆20Updated last year
• drym-org / qi
  An embeddable flow-oriented language.
  ☆71Updated last week
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆30Updated 3 years ago