glennstreet / awesome-philosophy-compsci
A list of resources that cross the disciplines of Computer Science and Philosophy
☆85Updated 2 months ago
Alternatives and similar repositories for awesome-philosophy-compsci
Users that are interested in awesome-philosophy-compsci are comparing it to the libraries listed below
Sorting:
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆55Updated 2 months ago
- m̴̨̱̫͆͆a̴̪̟͙͔̹̒c̶͚̻̏h̶̙̖̓̀ȋ̵̝̭͕̦̝̽ṇ̴̙͖̆̌̐̅̕į̷̧̡̼̜̆̄̽c̷͓̔̐̃̚ ̸͈̦͓̿́̊̍ờ̷͎̭̌̀ń̴̨̠̮̫̀t̴͕̭̑̈͐ơ̴̙̇̀̄̾l̵̞̬̆̈́̐ō̸̰̟͖̠͈̏̅g̴̢̼͈̈́̅̀̾̓y̴̼͉̆͊͑͝…☆28Updated 5 years ago
- A curated list of awesome philosophy☆209Updated 5 years ago
- ☆10Updated last year
- 📚 A curated list of research related topics☆38Updated 5 years ago
- Philosophy diagrams in Ti𝑘Z☆35Updated 3 years ago
- A list of works and resources about double category theory, with a particular focus on applications.☆30Updated 2 years ago
- Notes on various works of philosophy. Mainly in the areas of ethics, political theory, & game theory☆16Updated 3 years ago
- Andrej Bauer's blog "Mathematics and Computation"☆51Updated last year
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆352Updated 4 months ago
- 🧮 Polynomial Calculator☆12Updated 2 years ago
- A curated list of awesome ethics☆58Updated 6 years ago
- 컴퓨터 신기술 특강☆10Updated last year
- ☆84Updated 3 weeks ago
- A catalog of code worth reading☆113Updated 7 years ago
- Tim Button's open textbook on set theory☆36Updated last year
- Programming in Haskell (Korean translation) - homepage☆9Updated 9 years ago
- ☆31Updated 3 months ago
- Awesome Documentaries☆67Updated 4 years ago
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆96Updated 4 years ago
- List of resources about foundational knowledge for programmers (supposed to last a few decades)☆170Updated 4 years ago
- Formalization of category theory in Agda☆16Updated 2 years ago
- multilingual dictionary of mathematical terminology☆19Updated 6 months ago
- Web published translation of Grothendieck's essay on kimchi☆13Updated last year
- A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Updated last year
- tool for creating and sharing annotations, using github for storage and social network☆90Updated 3 years ago
- Language based on Rewriting Logic☆116Updated last week
- Curiosity about consciousness☆11Updated 2 years ago
- Awesome Research Papers☆314Updated 4 years ago
- ☆46Updated 2 weeks ago