Alternatives and similar repositories for awesome-philosophy-compsci

Users that are interested in awesome-philosophy-compsci are comparing it to the libraries listed below

• 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.
  ☆59Updated 10 months ago
• madnight / awesome-category-theory
  A curated list of awesome Category Theory resources.
  ☆126Updated 8 months ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆54Updated last year
• prathyvsh / category-theory-resources
  Resources for learning Category Theory for an enthusiast
  ☆659Updated 2 years ago
• rocq-community / awesome-coq
  A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
  ☆374Updated 2 months ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆40Updated 6 months ago
• jaalonso / Lecturas_GLC
  Readings on computational logic, interactive theorem proving and functional programming.
  ☆85Updated last week
• err0r500 / foundational-knowledge-for-programmers
  List of resources about foundational knowledge for programmers (supposed to last a few decades)
  ☆175Updated 2 months ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆69Updated 9 months ago
• nculwell / MathStudy
  Info on resources for studying math, stats, CS, etc.
  ☆218Updated 2 years ago
• CMU-HoTT / scott
  Selected Papers of Dana S. Scott
  ☆170Updated last year
• UniMath / Schools
  ☆94Updated 8 months ago
• awesomo4000 / awesome-provable
  A curated set of links to formal methods involving provable code.
  ☆216Updated 4 years ago
• blanchette / logical_verification_2020
  Companion files for Logical Verification 2020–2021 at VU Amsterdam
  ☆96Updated 5 years ago
• rocq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆61Updated last month
• emilyriehl / 721
  Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021
  ☆50Updated 4 years ago
• darius / code-canon
  A catalog of code worth reading
  ☆115Updated 8 years ago
• LogicalAtomist / principia-rewrite
  The Principia Rewrite
  ☆228Updated last month
• jeanqasaur / learn-programming-languages
  Resources for the working programmer to learn more about the fundamentals and theory of programming languages.
  ☆335Updated 5 years ago
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆20Updated 2 months ago
• gjoncas / Diagrammatic
  Philosophy diagrams in Ti𝑘Z
  ☆37Updated 4 years ago
• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆116Updated 3 weeks ago
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆122Updated last year
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆57Updated 11 years ago
• SatyendraBanjare / plt-formal-methods-resources
  Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and t…
  ☆61Updated 6 years ago
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆114Updated 2 years ago
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆323Updated last year
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆158Updated this week
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆170Updated last year
• HussainAther / awesome-philosophy
  A curated list of awesome philosophy
  ☆233Updated 6 years ago