glennstreet / awesome-philosophy-compsci
A list of resources that cross the disciplines of Computer Science and Philosophy
☆85Updated last month
Alternatives and similar repositories for awesome-philosophy-compsci:
Users that are interested in awesome-philosophy-compsci are comparing it to the libraries listed below
- m̴̨̱̫͆͆a̴̪̟͙͔̹̒c̶͚̻̏h̶̙̖̓̀ȋ̵̝̭͕̦̝̽ṇ̴̙͖̆̌̐̅̕į̷̧̡̼̜̆̄̽c̷͓̔̐̃̚ ̸͈̦͓̿́̊̍ờ̷͎̭̌̀ń̴̨̠̮̫̀t̴͕̭̑̈͐ơ̴̙̇̀̄̾l̵̞̬̆̈́̐ō̸̰̟͖̠͈̏̅g̴̢̼͈̈́̅̀̾̓y̴̼͉̆͊͑͝…☆29Updated 4 years ago
- Tim Button's open textbook on set theory☆34Updated last year
- Philosophy diagrams in Ti𝑘Z☆35Updated 3 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 months ago
- My mathematical Zettelkasten, created using forester.☆82Updated last week
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆96Updated 4 years ago
- Resources for making sense of topology and its concepts☆18Updated 4 years ago
- A curated list of awesome philosophy☆209Updated 5 years ago
- List of resources about foundational knowledge for programmers (supposed to last a few decades)☆170Updated 4 years ago
- ☆83Updated last week
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆57Updated 6 months ago
- Notes on various works of philosophy. Mainly in the areas of ethics, political theory, & game theory☆16Updated 3 years ago
- Language based on Rewriting Logic☆112Updated last month
- Andrej Bauer's blog "Mathematics and Computation"☆51Updated last year
- A graphical interactive proof assistant designed for education☆167Updated 5 months ago
- Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…☆75Updated 3 months ago
- A curated list of awesome Category Theory resources.☆113Updated last year
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆350Updated 3 months ago
- Functional teaching language for use in a discrete mathematics course☆168Updated this week
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆32Updated 2 months ago
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Updated 2 years ago
- multilingual dictionary of mathematical terminology☆19Updated 5 months ago
- Very controlled natural language tactics for Lean☆62Updated last year
- Categorical Logic Notes☆78Updated 3 years ago
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆59Updated last year
- ☆34Updated 5 months ago
- A visual catalogue + story of morphisms displayed across computational structures.☆123Updated 2 years ago
- bidirectional type checking algorithms for higher-ranked polymorphism☆19Updated 3 years ago
- Linhares Complex Adaptive Systems Course☆17Updated 7 years ago
- Lean course materials for Brown CS 22, Spring 2023☆20Updated last year