glennstreet / awesome-philosophy-compsci
A list of resources that cross the disciplines of Computer Science and Philosophy
☆78Updated last year
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̴̼͉̆͊͑͝…☆28Updated 4 years ago
- A curated list of awesome philosophy☆200Updated 5 years ago
- Awesome list, curated language learning resources☆49Updated 3 months ago
- Linhares Complex Adaptive Systems Course☆16Updated 7 years ago
- Tim Button's open textbook on set theory☆31Updated last year
- Philosophy diagrams in Ti𝑘Z☆35Updated 3 years ago
- Notes on various works of philosophy. Mainly in the areas of ethics, political theory, & game theory☆16Updated 3 years ago
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆57Updated 3 months ago
- Catalog of visual lambda calculi☆107Updated last year
- ☆10Updated last year
- My mathematical Zettelkasten, created using forester.☆78Updated this week
- Applied Discrete Structures using PreTeXt☆43Updated last week
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆119Updated 10 months ago
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆31Updated 2 weeks ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆225Updated last month
- Lecture notes from Cambridge maths☆65Updated 11 months ago
- Visual environment for manipulation the lambda calculus expressions☆19Updated last year
- Let's translate works of Grothendieck☆24Updated 5 years ago
- 🥇 A curated list of competitive math resources.☆45Updated 5 months ago
- UCalgary version of forallx, an introduction to formal logic☆97Updated this week
- ☆12Updated 3 weeks ago
- Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX☆48Updated last month
- ⚗️ Curiosity about consciousness☆11Updated last year
- Latex notes on papers, courses, ideas: Pure math and computer science.☆61Updated last year
- tool for creating and sharing annotations, using github for storage and social network☆88Updated 3 years ago
- Voevodsky's notes on type systems. This version contains more material than the one on his website.☆11Updated 10 years ago
- Fundamental Haskell book, to the point terse statements on Haskell, Category theory, and related fields. Encyclopedic pocketbook of meani…☆124Updated 2 years ago
- A collection of math and CS notes from university and self-study☆21Updated 7 months ago
- ☆29Updated this week
- Andrej Bauer's blog "Mathematics and Computation"☆51Updated 11 months ago