Alternatives and similar repositories for awesome-philosophy-compsci

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

• rocq-community / awesome-coq
  A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
  ☆361Updated 2 months ago
• prathyvsh / category-theory-resources
  Resources for learning Category Theory for an enthusiast
  ☆645Updated 2 years ago
• madnight / awesome-category-theory
  A curated list of awesome Category Theory resources.
  ☆126Updated 6 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.
  ☆58Updated 8 months ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆53Updated last year
• emilyriehl / 721
  Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021
  ☆50Updated 3 years ago
• oyd11 / awesome-lang
  Awesome list, curated language learning resources
  ☆55Updated last year
• Mzk-Levi / texts
  ☆161Updated 10 years ago
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆308Updated last year
• gjoncas / Artificial-Philosophy
  m̴̨̱̫͆͆a̴̪̟͙͔̹̒c̶͚̻̏h̶̙̖̓̀ȋ̵̝̭͕̦̝̽ṇ̴̙͖̆̌̐̅̕į̷̧̡̼̜̆̄̽c̷͓̔̐̃̚ ̸͈̦͓̿́̊̍ờ̷͎̭̌̀ń̴̨̠̮̫̀t̴͕̭̑̈͐ơ̴̙̇̀̄̾l̵̞̬̆̈́̐ō̸̰̟͖̠͈̏̅g̴̢̼͈̈́̅̀̾̓y̴̼͉̆͊͑͝…
  ☆29Updated 5 years ago
• awesomo4000 / awesome-provable
  A curated set of links to formal methods involving provable code.
  ☆213Updated 3 years ago
• bollu / notes
  Latex notes on papers, courses, ideas: Pure math and computer science.
  ☆64Updated 2 years ago
• HussainAther / awesome-philosophy
  A curated list of awesome philosophy
  ☆226Updated 6 years ago
• gjoncas / Diagrammatic
  Philosophy diagrams in Ti𝑘Z
  ☆37Updated 4 years ago
• prathyvsh / morphisms-of-computational-structures
  A visual catalogue + story of morphisms displayed across computational structures.
  ☆129Updated 3 years ago
• jaalonso / Lecturas_GLC
  Readings on computational logic, interactive theorem proving and functional programming.
  ☆82Updated this week
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆306Updated 10 months ago
• UniMath / Schools
  ☆92Updated 6 months ago
• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆111Updated 2 months ago
• learn-anything / programming-languages
  Awesome Programming Languages
  ☆311Updated 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
• learn-anything / research-papers
  Awesome Research Papers
  ☆324Updated 5 years ago
• err0r500 / foundational-knowledge-for-programmers
  List of resources about foundational knowledge for programmers (supposed to last a few decades)
  ☆174Updated 2 weeks 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
• DSLsofMath / DSLsofMath
  Domain-Specific Languages of Mathematics
  ☆444Updated 2 months ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆68Updated 7 months ago
• codereport / CTfP-2021
  Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.
  ☆136Updated 3 years ago
• veyselusta / programming-language-research
  Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
  ☆250Updated last year
• CMU-HoTT / scott
  Selected Papers of Dana S. Scott
  ☆168Updated last year
• Zeta611 / simplebnf
  ⌥ Simple Backus–Naur form (BNF) LaTeX package
  ☆42Updated last week