gjoncas / Artificial-Philosophy
m̴̨̱̫͆͆a̴̪̟͙͔̹̒c̶͚̻̏h̶̙̖̓̀ȋ̵̝̭͕̦̝̽ṇ̴̙͖̆̌̐̅̕į̷̧̡̼̜̆̄̽c̷͓̔̐̃̚ ̸͈̦͓̿́̊̍ờ̷͎̭̌̀ń̴̨̠̮̫̀t̴͕̭̑̈͐ơ̴̙̇̀̄̾l̵̞̬̆̈́̐ō̸̰̟͖̠͈̏̅g̴̢̼͈̈́̅̀̾̓y̴̼͉̝̆͊͑͝
☆29Updated 4 years ago
Alternatives and similar repositories for Artificial-Philosophy:
Users that are interested in Artificial-Philosophy are comparing it to the libraries listed below
- Philosophy diagrams in Ti𝑘Z☆35Updated 3 years ago
- A system for computational category theory and applications☆38Updated 8 years ago
- botttom-up vr redux☆24Updated 3 years ago
- Resources for making sense of topology and its concepts☆18Updated 4 years ago
- things that don't deserve their own repo☆64Updated 2 months ago
- Formalization of category theory in Agda☆15Updated 2 years ago
- Creative diagrams in Ti𝑘Z☆10Updated 4 years ago
- ACT community resources☆21Updated 5 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆12Updated last year
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 10 years ago
- A well typed by construction kernel language for bidirectional programming☆13Updated 2 months ago
- computational sociology of philosophy☆14Updated 8 years ago
- This project is to contain a listing of common theorems in elementary category theory.☆72Updated 4 years ago
- Some tools for provability logic☆37Updated 6 years ago
- Bicategories of automata, completeness of F-automata in monoidal categories, adjoints between (semi)bicategories; https://arxiv.org/pdf/2…☆18Updated 10 months ago
- A list of works and resources about double category theory, with a particular focus on applications.☆27Updated 2 years ago
- multilingual dictionary of mathematical terminology☆19Updated 4 months ago
- Andrej Bauer's blog "Mathematics and Computation"☆51Updated last year
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- A Coq formalization of the textbook Categories and Toposes: Visualized and Explained☆20Updated 2 years ago
- ☆13Updated 3 years ago
- ☆115Updated 2 years ago
- A Haskell DSEL for experimental game theory.☆36Updated 2 years ago
- ☆37Updated 8 months ago
- Haskell implementation of open games☆159Updated 2 months ago
- A Categorical View of Computation☆30Updated 5 months ago
- AlgoRhythm: A Haskell library for algorithmic music composition.☆21Updated 6 years ago
- Primary implementation of the Venture probabilistic programming system☆27Updated 5 years ago