Alternatives and similar repositories for awesome-philosophy-compsci:

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

• HussainAther / awesome-philosophy
  A curated list of awesome philosophy
  ☆204Updated 5 years ago
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 4 months ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆51Updated last year
• gjoncas / Artificial-Philosophy
  m̴̨̱̫͆͆a̴̪̟͙͔̹̒c̶͚̻̏h̶̙̖̓̀ȋ̵̝̭͕̦̝̽ṇ̴̙͖̆̌̐̅̕į̷̧̡̼̜̆̄̽c̷͓̔̐̃̚ ̸͈̦͓̿́̊̍ờ̷͎̭̌̀ń̴̨̠̮̫̀t̴͕̭̑̈͐ơ̴̙̇̀̄̾l̵̞̬̆̈́̐ō̸̰̟͖̠͈̏̅g̴̢̼͈̈́̅̀̾̓y̴̼͉̆͊͑͝…
  ☆28Updated 4 years ago
• thosgood / sga
  An English translation of the Séminaire de Géométrie Algébrique du Bois Marie
  ☆31Updated 3 weeks ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆32Updated last year
• gjoncas / Diagrammatic
  Philosophy diagrams in Ti𝑘Z
  ☆35Updated 3 years ago
• UniMath / Schools
  ☆81Updated 5 months ago
• 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.
  ☆55Updated last week
• madnight / awesome-category-theory
  A curated list of awesome Category Theory resources.
  ☆112Updated last year
• davekinkead / philosophy
  Notes on various works of philosophy. Mainly in the areas of ethics, political theory, & game theory
  ☆16Updated 3 years ago
• jonsterling / forest
  My mathematical Zettelkasten, created using forester.
  ☆80Updated this week
• mgrabovsky / fm-notes
  Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on
  ☆21Updated last year
• androm3da / math-textbooks
  ☆40Updated 7 years ago
• coq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆58Updated 11 months ago
• mattecapu / awesome-double-categories
  A list of works and resources about double category theory, with a particular focus on applications.
  ☆25Updated 2 years ago
• prathyvsh / morphisms-of-computational-structures
  A visual catalogue + story of morphisms displayed across computational structures.
  ☆123Updated 2 years ago
• mavam / abstract-algebra-cheatsheet
  A visualization of key structures in abstract algebra.
  ☆155Updated 4 years ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆109Updated last year
• blanchette / logical_verification_2020
  Companion files for Logical Verification 2020–2021 at VU Amsterdam
  ☆96Updated 4 years ago
• madkous / math490
  An answer key to Emily Riehl's Category Theory in Context produced by Dr. Pardue's math 490 class at UMBC
  ☆20Updated 2 years ago
• prathyvsh / category-theory-resources
  Resources for learning Category Theory for an enthusiast
  ☆618Updated last year
• Vicfred / codeforces-haskell
  problems from codeforces solved in haskell
  ☆11Updated 5 years ago
• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆100Updated last month
• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆57Updated 4 months ago
• djvelleman / HTPILeanPackage
  ☆28Updated last month
• jeanqasaur / women-in-programming-languages-research
  Women in Programming Languages and Software Engineering Research
  ☆169Updated 3 months ago
• damhiya / Coq-tips
  ☆10Updated last year
• manjunath5496 / Mechanical-Engineering-Books
  "The real question is not whether machines think but whether men do. The mystery which surrounds a thinking machine already surrounds a t…
  ☆40Updated 5 years 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…
  ☆119Updated 11 months ago