Alternatives and similar repositories for awesome-philosophy-compsci

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

• gjoncas / Artificial-Philosophy
  m̴̨̱̫͆͆a̴̪̟͙͔̹̒c̶͚̻̏h̶̙̖̓̀ȋ̵̝̭͕̦̝̽ṇ̴̙͖̆̌̐̅̕į̷̧̡̼̜̆̄̽c̷͓̔̐̃̚ ̸͈̦͓̿́̊̍ờ̷͎̭̌̀ń̴̨̠̮̫̀t̴͕̭̑̈͐ơ̴̙̇̀̄̾l̵̞̬̆̈́̐ō̸̰̟͖̠͈̏̅g̴̢̼͈̈́̅̀̾̓y̴̼͉̆͊͑͝…
  ☆30Updated 5 years ago
• mavam / abstract-algebra-cheatsheet
  A visualization of key structures in abstract algebra.
  ☆156Updated 5 years ago
• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆108Updated last month
• learn-anything / research-papers
  Awesome Research Papers
  ☆318Updated 5 years ago
• err0r500 / foundational-knowledge-for-programmers
  List of resources about foundational knowledge for programmers (supposed to last a few decades)
  ☆171Updated 4 years ago
• prathyvsh / category-theory-resources
  Resources for learning Category Theory for an enthusiast
  ☆632Updated 2 years ago
• rocq-community / awesome-coq
  A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
  ☆359Updated 7 months ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆67Updated 4 months ago
• jaalonso / Lecturas_GLC
  Readings on computational logic, interactive theorem proving and functional programming.
  ☆80Updated this week
• prathyvsh / morphisms-of-computational-structures
  A visual catalogue + story of morphisms displayed across computational structures.
  ☆125Updated 3 years 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.
  ☆56Updated 5 months ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆53Updated last year
• awalterschulze / category-theory-for-programmers-challenges
  Challenges from Category Theory for Programmers
  ☆125Updated 9 months ago
• HussainAther / awesome-philosophy
  A curated list of awesome philosophy
  ☆218Updated 5 years ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆39Updated last month
• UniMath / Schools
  ☆86Updated 3 months ago
• codereport / CTfP-2021
  Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.
  ☆135Updated 2 years ago
• madnight / awesome-category-theory
  A curated list of awesome Category Theory resources.
  ☆120Updated 3 months ago
• davekinkead / philosophy
  Notes on various works of philosophy. Mainly in the areas of ethics, political theory, & game theory
  ☆16Updated 4 years ago
• jbrkr / Category_Theory_Natural_Language_Processing_NLP
  List of papers and other resources at the intersection of Category Theory and NLP.
  ☆55Updated 2 years ago
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆301Updated last year
• abuseofnotation / category-theory-illustrated
  A book about category theory
  ☆420Updated this week
• emilyriehl / 721
  Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021
  ☆47Updated 3 years ago
• alhassy / CatsCheatSheet
  This project is to contain a listing of common theorems in elementary category theory.
  ☆73Updated 5 years ago
• blanchette / logical_verification_2020
  Companion files for Logical Verification 2020–2021 at VU Amsterdam
  ☆96Updated 4 years ago
• ncatlab / nlab
  Source code for the nLab
  ☆180Updated 4 months ago
• awesomo4000 / awesome-provable
  A curated set of links to formal methods involving provable code.
  ☆211Updated 3 years ago
• gjoncas / Diagrammatic
  Philosophy diagrams in Ti𝑘Z
  ☆37Updated 4 years ago
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆298Updated 7 months ago
• Mzk-Levi / texts
  ☆160Updated 10 years ago