gjoncas / Artificial-PhilosophyLinks
m̴̨̱̫͆͆a̴̪̟͙͔̹̒c̶͚̻̏h̶̙̖̓̀ȋ̵̝̭͕̦̝̽ṇ̴̙͖̆̌̐̅̕į̷̧̡̼̜̆̄̽c̷͓̔̐̃̚ ̸͈̦͓̿́̊̍ờ̷͎̭̌̀ń̴̨̠̮̫̀t̴͕̭̑̈͐ơ̴̙̇̀̄̾l̵̞̬̆̈́̐ō̸̰̟͖̠͈̏̅g̴̢̼͈̈́̅̀̾̓y̴̼͉̝̆͊͑͝
☆28Updated 5 years ago
Alternatives and similar repositories for Artificial-Philosophy
Users that are interested in Artificial-Philosophy are comparing it to the libraries listed below
Sorting:
- Philosophy diagrams in Ti𝑘Z☆36Updated 3 years ago
- computational sociology of philosophy☆14Updated 9 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆14Updated last year
- Creative diagrams in Ti𝑘Z☆10Updated 4 years ago
- A system for computational category theory and applications☆38Updated 8 years ago
- Formalization of category theory in Agda☆16Updated 2 years ago
- things that don't deserve their own repo☆64Updated 2 months ago
- ☆116Updated this week
- Voevodsky's notes on type systems. This version contains more material than the one on his website.☆11Updated 10 years ago
- A list of works and resources about double category theory, with a particular focus on applications.☆30Updated 2 years ago
- Haskell implementation of open games☆168Updated 4 months ago
- Ti𝑘Z diagrams of mathemes from Lacanian psychoanalysis☆37Updated 3 years ago
- multilingual dictionary of mathematical terminology☆19Updated 7 months ago
- ☆13Updated 3 years ago
- Lojban ologs (categorical databases) using jq☆24Updated 6 years ago
- A Coq formalization of the textbook Categories and Toposes: Visualized and Explained☆20Updated 2 years ago
- botttom-up vr redux☆24Updated 3 years ago
- Repository for programming language SPLAT: Spatial Programming Language, Ascii Text☆52Updated 3 years ago
- Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics☆28Updated 3 years ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).☆22Updated 2 years ago
- This project is to contain a listing of common theorems in elementary category theory.☆72Updated 5 years ago
- ACT community resources☆21Updated 5 years ago
- Proof assistant for opetope and opetopic set derivation systems☆15Updated 5 years ago
- ☆10Updated 5 years ago
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆18Updated last year
- Resources for making sense of topology and its concepts☆18Updated 4 years ago
- A well typed by construction kernel language for bidirectional programming☆14Updated 5 months ago
- DeepAlgebra☆25Updated 7 years ago