gjoncas / Artificial-PhilosophyLinks
m̴̨̱̫͆͆a̴̪̟͙͔̹̒c̶͚̻̏h̶̙̖̓̀ȋ̵̝̭͕̦̝̽ṇ̴̙͖̆̌̐̅̕į̷̧̡̼̜̆̄̽c̷͓̔̐̃̚ ̸͈̦͓̿́̊̍ờ̷͎̭̌̀ń̴̨̠̮̫̀t̴͕̭̑̈͐ơ̴̙̇̀̄̾l̵̞̬̆̈́̐ō̸̰̟͖̠͈̏̅g̴̢̼͈̈́̅̀̾̓y̴̼͉̝̆͊͑͝
☆29Updated 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☆37Updated 3 years ago
- botttom-up vr redux☆24Updated 3 years ago
- ACT community resources☆21Updated 5 years ago
- A list of resources that cross the disciplines of Computer Science and Philosophy☆85Updated 3 months ago
- Resources for making sense of topology and its concepts☆18Updated 4 years ago
- things that don't deserve their own repo☆64Updated last week
- Formalization of category theory in Agda☆16Updated 2 years ago
- Haskell implementation of open games☆168Updated 4 months ago
- A system for computational category theory and applications☆38Updated 9 years ago
- Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).☆22Updated 2 years ago
- ☆13Updated 3 years ago
- Creative diagrams in Ti𝑘Z☆10Updated 4 years ago
- This project is to contain a listing of common theorems in elementary category theory.☆72Updated 5 years ago
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆18Updated last year
- ☆116Updated 3 weeks ago
- Repository for programming language SPLAT: Spatial Programming Language, Ascii Text☆52Updated 3 years ago
- Website: writings on statistics, psychology, self-experiments, black-markets, philosophy, etc☆37Updated 2 years ago
- A binary waveform synthesizer derived from and based upon Terence McKenna's Timewave Zero theory.☆22Updated 5 years ago
- A Coq formalization of the textbook Categories and Toposes: Visualized and Explained☆20Updated 2 years ago
- A well typed by construction kernel language for bidirectional programming☆14Updated 5 months ago
- A list of works and resources about double category theory, with a particular focus on applications.☆30Updated 2 years ago
- Cellular automata patterns are clustered based on features related to beauty such as fractal dimensionality and compression efficiency.☆16Updated 5 years ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics☆28Updated 3 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆14Updated last year
- multilingual dictionary of mathematical terminology☆19Updated this week
- Learn Lean and topology☆20Updated 2 years ago
- A Haskell DSEL for experimental game theory.☆36Updated 3 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- Visualizing the Stanford Encyclopedia of Philosophy☆22Updated 7 years ago