Alternatives and similar repositories for history-of-logic

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

• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆52Updated 2 weeks ago
• namin / metaprogramming
  Course on Metaprogramming
  ☆72Updated 4 months ago
• theoremprover-museum / theoremprover-museum.github.io
  ☆56Updated 6 months ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆54Updated last year
• jsiek / B629-denotational
  Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University
  ☆74Updated 7 years ago
• jonsterling / math
  A mini-book on category theory. Superseded by https://github.com/jonsterling/forest
  ☆52Updated 2 years ago
• ngzhian / ski
  SKI combinators
  ☆55Updated 8 years ago
• Lysxia / advent-of-coq-2021
  ☆44Updated 3 years ago
• UniMath / Schools
  ☆92Updated 6 months ago
• jsiek / B522-PL-Foundations
  Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University
  ☆55Updated 5 years ago
• shriram / mystery-languages
  Mystery Languages
  ☆41Updated 2 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆35Updated 2 years ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago
• leanprover / logic_and_proof_lean3
  CMU Undergrad Course
  ☆95Updated 2 years ago
• lexi-lambda / racket-mvar
  An implementation of Haskell’s MVars in Racket
  ☆30Updated last year
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆47Updated last week
• cedille / ial
  The Iowa Agda Library
  ☆49Updated last week
• JohnWCartmell / Theory
  Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data
  ☆41Updated 2 weeks ago
• nrnrnr / build-prove-compare-student-code
  Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey
  ☆32Updated 2 years ago
• ncihnegn / miranda
  Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…
  ☆60Updated 5 months ago
• rain-1 / continuations-study-group
  ☆79Updated 6 years ago
• joom / type.systems
  joke page until I decide what to do with this domain name
  ☆39Updated 4 months ago
• benediktahrens / CT4P
  ☆35Updated last month
• drym-org / qi
  An embeddable flow-oriented language.
  ☆71Updated 2 weeks ago
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆55Updated 4 years ago
• scmu / aopa
  Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
  ☆83Updated 9 years ago
• bobatkey / CS316-2022
  Materials for the 2022-2023 edition of CS316 "Functional Programming"
  ☆24Updated 2 years ago
• lexi-lambda / talks
  ☆45Updated 2 years ago
• jkoppel / ecta
  ☆37Updated last year
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆36Updated 8 years ago