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.
  ☆57Updated 6 months ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆67Updated 5 months ago
• gjoncas / Diagrammatic
  Philosophy diagrams in Ti𝑘Z
  ☆37Updated 4 years ago
• gjoncas / Artificial-Philosophy
  m̴̨̱̫͆͆a̴̪̟͙͔̹̒c̶͚̻̏h̶̙̖̓̀ȋ̵̝̭͕̦̝̽ṇ̴̙͖̆̌̐̅̕į̷̧̡̼̜̆̄̽c̷͓̔̐̃̚ ̸͈̦͓̿́̊̍ờ̷͎̭̌̀ń̴̨̠̮̫̀t̴͕̭̑̈͐ơ̴̙̇̀̄̾l̵̞̬̆̈́̐ō̸̰̟͖̠͈̏̅g̴̢̼͈̈́̅̀̾̓y̴̼͉̆͊͑͝…
  ☆29Updated 5 years ago
• learn-anything / research-papers
  Awesome Research Papers
  ☆321Updated 5 years ago
• err0r500 / foundational-knowledge-for-programmers
  List of resources about foundational knowledge for programmers (supposed to last a few decades)
  ☆170Updated 4 years ago
• prathyvsh / morphisms-of-computational-structures
  A visual catalogue + story of morphisms displayed across computational structures.
  ☆126Updated 3 years ago
• prathyvsh / category-theory-resources
  Resources for learning Category Theory for an enthusiast
  ☆635Updated 2 years ago
• HussainAther / awesome-philosophy
  A curated list of awesome philosophy
  ☆222Updated 5 years ago
• davekinkead / philosophy
  Notes on various works of philosophy. Mainly in the areas of ethics, political theory, & game theory
  ☆16Updated 4 years ago
• manjunath5496 / Awesome-Math-Books
  "An equation for me has no meaning, unless it expresses a thought of God."― Srinivasa Ramanujan
  ☆81Updated 4 years ago
• nculwell / MathStudy
  Info on resources for studying math, stats, CS, etc.
  ☆212Updated 2 years ago
• mavam / abstract-algebra-cheatsheet
  A visualization of key structures in abstract algebra.
  ☆156Updated 5 years ago
• oyd11 / awesome-lang
  Awesome list, curated language learning resources
  ☆54Updated 10 months ago
• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆27Updated 6 years ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆53Updated last year
• bollu / notes
  Latex notes on papers, courses, ideas: Pure math and computer science.
  ☆61Updated 2 years ago
• prathyvsh / learning-topology
  Resources for making sense of topology and its concepts
  ☆18Updated 4 years ago
• rocq-community / awesome-coq
  A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
  ☆362Updated 2 weeks ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆39Updated 2 months ago
• darius / code-canon
  A catalog of code worth reading
  ☆112Updated 8 years ago
• awesomo4000 / awesome-provable
  A curated set of links to formal methods involving provable code.
  ☆212Updated 3 years ago
• jeanqasaur / cmu-15316-spring17
  Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.
  ☆22Updated 8 years ago
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆20Updated last month
• UniMath / Schools
  ☆88Updated 4 months ago
• madnight / awesome-category-theory
  A curated list of awesome Category Theory resources.
  ☆122Updated 4 months ago
• jeanqasaur / dsl-syllabus-fall-2016
  The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.
  ☆216Updated 6 years ago
• jeanqasaur / women-in-programming-languages-research
  Women in Programming Languages and Software Engineering Research
  ☆173Updated 9 months ago
• shapr / fermatslastmargin
  tool for creating and sharing annotations, using github for storage and social network
  ☆90Updated 3 years ago
• derikon / awesome-research
  📚 A curated list of research related topics
  ☆40Updated 6 years ago