glennstreet / awesome-philosophy-compsci
A list of resources that cross the disciplines of Computer Science and Philosophy
☆76Updated 11 months ago
Related projects ⓘ
Alternatives and complementary repositories for awesome-philosophy-compsci
- Awesome list, curated language learning resources☆50Updated last month
- A list of works and resources about double category theory, with a particular focus on applications.☆24Updated 2 years ago
- A curated list of awesome philosophy☆190Updated 5 years ago
- A visual catalogue + story of morphisms displayed across computational structures.☆122Updated 2 years ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆55Updated 2 years ago
- m̴̨̱̫͆͆a̴̪̟͙͔̹̒c̶͚̻̏h̶̙̖̓̀ȋ̵̝̭͕̦̝̽ṇ̴̙͖̆̌̐̅̕į̷̧̡̼̜̆̄̽c̷͓̔̐̃̚ ̸͈̦͓̿́̊̍ờ̷͎̭̌̀ń̴̨̠̮̫̀t̴͕̭̑̈͐ơ̴̙̇̀̄̾l̵̞̬̆̈́̐ō̸̰̟͖̠͈̏̅g̴̢̼͈̈́̅̀̾̓y̴̼͉̆͊͑͝…☆28Updated 4 years ago
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆315Updated 3 months ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆53Updated 10 years ago
- Tim Button's open textbook on set theory☆30Updated last year
- Notes on various works of philosophy. Mainly in the areas of ethics, political theory, & game theory☆16Updated 3 years ago
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆55Updated 7 months ago
- ☆109Updated 3 months ago
- Lecture notes from Cambridge maths☆63Updated 9 months ago
- Philosophy diagrams in Ti𝑘Z☆33Updated 3 years ago
- Categorical Logic Notes☆74Updated 2 years ago
- LaTeX code for a paper on lean's type theory☆119Updated 2 years ago
- A curated set of links to formal methods involving provable code.☆195Updated 2 years ago
- ☆159Updated 5 years ago
- Catalog of visual lambda calculi☆99Updated last year
- Info on resources for studying math, stats, CS, etc.☆185Updated last year
- My mathematical Zettelkasten, created using forester.☆77Updated 3 weeks ago
- "The real question is not whether machines think but whether men do. The mystery which surrounds a thinking machine already surrounds a t…☆30Updated 5 years ago
- ACT community resources☆465Updated 4 years ago
- Lecture notes on univalent foundations of mathematics with Agda☆219Updated 6 months ago
- List of resources about foundational knowledge for programmers (supposed to last a few decades)☆164Updated 3 years ago
- IMO Grand Challenge for Artificial Intelligence☆44Updated 2 years ago
- Logic and Mechanized Reasoning☆84Updated 4 months ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆287Updated 9 months ago
- Resources for learning Category Theory for an enthusiast☆603Updated last year
- A collection of tools for writing technical documents that mix Coq code and prose.☆235Updated 2 months ago