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̴̼͉̆͊͑͝…
  ☆29Updated 5 years ago
• gjoncas / Diagrammatic
  Philosophy diagrams in Ti𝑘Z
  ☆37Updated 4 years ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆68Updated 8 months ago
• oyd11 / awesome-lang
  Awesome list, curated language learning resources
  ☆55Updated last year
• HussainAther / awesome-philosophy
  A curated list of awesome philosophy
  ☆229Updated 6 years ago
• davekinkead / philosophy
  Notes on various works of philosophy. Mainly in the areas of ethics, political theory, & game theory
  ☆16Updated 4 years ago
• awesomo4000 / awesome-provable
  A curated set of links to formal methods involving provable code.
  ☆216Updated 4 years ago
• linsa-io / research-papers
  Awesome Research Papers
  ☆325Updated 5 years ago
• prathyvsh / category-theory-resources
  Resources for learning Category Theory for an enthusiast
  ☆653Updated 2 years ago
• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆115Updated 3 months ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆40Updated 5 months ago
• linsa-io / programming-languages
  Awesome Programming Languages
  ☆312Updated last year
• 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 9 months ago
• mstfelg / awesome-math-olympiad
  🥇 A curated list of competitive math resources.
  ☆53Updated last year
• rocq-community / awesome-coq
  A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
  ☆369Updated last month
• madnight / awesome-category-theory
  A curated list of awesome Category Theory resources.
  ☆126Updated 7 months ago
• jaalonso / Lecturas_GLC
  Readings on computational logic, interactive theorem proving and functional programming.
  ☆84Updated this week
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆152Updated this week
• codereport / CTfP-2021
  Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.
  ☆137Updated 3 years ago
• mavam / abstract-algebra-cheatsheet
  A visualization of key structures in abstract algebra.
  ☆156Updated 5 years ago
• bollu / notes
  Latex notes on papers, courses, ideas: Pure math and computer science.
  ☆65Updated 2 years ago
• veyselusta / programming-language-research
  Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
  ☆254Updated last year
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆54Updated last year
• jbrkr / Category_Theory_Natural_Language_Processing_NLP
  List of papers and other resources at the intersection of Category Theory and NLP.
  ☆54Updated 2 years ago
• emilyriehl / 721
  Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021
  ☆50Updated 4 years ago
• vEnhance / evans-phd-notebook
  Virtual notebook that Evan uses for his PhD thesis.
  ☆11Updated 3 months ago
• prathyvsh / morphisms-of-computational-structures
  A visual catalogue + story of morphisms displayed across computational structures.
  ☆129Updated 3 years ago
• jeanqasaur / learn-programming-languages
  Resources for the working programmer to learn more about the fundamentals and theory of programming languages.
  ☆335Updated 5 years ago
• fredhohman / awesome-mathematical-notation-design
  List of links of techniques to help enhance mathematical notation
  ☆191Updated last year
• snu-sf-class / sf202301
  컴퓨터 신기술 특강
  ☆10Updated 2 years ago