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 4 years ago
- botttom-up vr redux☆24Updated 4 years ago
- ☆118Updated 4 months ago
- Resources for making sense of topology and its concepts☆18Updated 4 years ago
- Simulacra and Simulation, 1981, Jean Baudrillard☆17Updated 5 years ago
- Repository for programming language SPLAT: Spatial Programming Language, Ascii Text☆52Updated 4 years ago
- Haskell implementation of open games☆175Updated 8 months ago
- Cellular automata patterns are clustered based on features related to beauty such as fractal dimensionality and compression efficiency.☆16Updated 5 years ago
- things that don't deserve their own repo☆64Updated 3 months ago
- Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).☆22Updated 2 years ago
- A system for computational category theory and applications☆40Updated 9 years ago
- Books that makes heavy use of visuals for scientific communication☆163Updated last year
- A list of resources that cross the disciplines of Computer Science and Philosophy☆90Updated 6 months ago
- A Coq formalization of the textbook Categories and Toposes: Visualized and Explained☆21Updated 3 years ago
- Coding with knots, Inca style☆11Updated 8 years ago
- a collection of cellular automata written in Haskell with Diagrams☆188Updated 6 years ago
- Formalization of category theory in Agda☆17Updated 2 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆14Updated 3 weeks ago
- The Harmonic Algorithm by Oscar South - A Project Spanning Music Analysis, Functional Programming & Machine Learning☆113Updated 3 weeks ago
- ☆119Updated last year
- Website: writings on statistics, psychology, self-experiments, black-markets, philosophy, etc☆37Updated 2 years ago
- List of links of techniques to help enhance mathematical notation☆189Updated 11 months ago
- AlgoRhythm: A Haskell library for algorithmic music composition.☆21Updated 7 years ago
- Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics☆29Updated 3 years ago
- Voevodsky's notes on type systems. This version contains more material than the one on his website.☆11Updated 11 years ago
- Evolve complex cellular automata with a genetic algorithm.☆82Updated 2 months ago
- ☆43Updated 5 months ago
- ☆24Updated 4 years ago
- Catalogue of portals that maps out roadmap for self learners☆81Updated 2 years ago
- P.D. Magnus' forallx logic textbook☆67Updated 6 months ago