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
- computational sociology of philosophy☆14Updated 8 years ago
- Creative diagrams in Ti𝑘Z☆10Updated 4 years ago
- things that don't deserve their own repo☆64Updated 3 weeks ago
- Resources for making sense of topology and its concepts☆18Updated 4 years ago
- A list of resources that cross the disciplines of Computer Science and Philosophy☆85Updated last month
- Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).☆22Updated 2 years ago
- Repository for programming language SPLAT: Spatial Programming Language, Ascii Text☆52Updated 3 years ago
- ACT community resources☆21Updated 5 years ago
- ☆116Updated last week
- A system for computational category theory and applications☆38Updated 8 years ago
- Formalization of category theory in Agda☆15Updated 2 years ago
- Haskell implementation of open games☆163Updated 2 months ago
- Proof assistant for opetope and opetopic set derivation systems☆15Updated 5 years ago
- AlgoRhythm: A Haskell library for algorithmic music composition.☆21Updated 7 years ago
- Website to track people, organizations, and products (tools, websites, etc.) in AI safety☆21Updated this week
- P.D. Magnus' forallx logic textbook☆64Updated 3 weeks ago
- program synthesis with neuro-symbolic differentiable interpreters☆13Updated last year
- botttom-up vr redux☆24Updated 3 years ago
- A Coq formalization of the textbook Categories and Toposes: Visualized and Explained☆20Updated 2 years ago
- Website: writings on statistics, psychology, self-experiments, black-markets, philosophy, etc☆36Updated 2 years ago
- multilingual dictionary of mathematical terminology☆19Updated 5 months ago
- Andrej Bauer's blog "Mathematics and Computation"☆51Updated last year
- A well typed by construction kernel language for bidirectional programming☆14Updated 3 months ago
- This project is to contain a listing of common theorems in elementary category theory.☆72Updated 4 years ago
- I.I-XI of Spinoza's Ethics, formalized in Coq☆18Updated 9 years ago
- Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…☆42Updated last year
- Opycleid - A Python package for transformational music theory☆42Updated 2 years ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 10 years ago
- A list of works and resources about double category theory, with a particular focus on applications.☆30Updated 2 years ago