Alternatives and similar repositories for Artificial-Philosophy

Users that are interested in Artificial-Philosophy are comparing it to the libraries listed below

• gjoncas / Diagrammatic
  Philosophy diagrams in Ti𝑘Z
  ☆37Updated 4 years ago
• Alex-Linhares / FARGonautica
  ☆118Updated 3 months ago
• davekinkead / philosophy
  Notes on various works of philosophy. Mainly in the areas of ethics, political theory, & game theory
  ☆16Updated 4 years ago
• socketteer / hallucinator
  botttom-up vr redux
  ☆24Updated 4 years ago
• CyberCat-Institute / open-game-engine
  Haskell implementation of open games
  ☆175Updated 7 months ago
• choukh / CategoryTheory
  A Coq formalization of the textbook Categories and Toposes: Visualized and Explained
  ☆21Updated 3 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆39Updated 9 years ago
• prathyvsh / learning-topology
  Resources for making sense of topology and its concepts
  ☆18Updated 4 years ago
• czerwonamaupa / Simulacra-and-Simulation
  Simulacra and Simulation, 1981, Jean Baudrillard
  ☆16Updated 5 years ago
• enkiv2 / misc
  things that don't deserve their own repo
  ☆64Updated 3 months ago
• prathyvsh / Illustrated-Primers
  Books that makes heavy use of visuals for scientific communication
  ☆163Updated last year
• glennstreet / awesome-philosophy-compsci
  A list of resources that cross the disciplines of Computer Science and Philosophy
  ☆90Updated 6 months ago
• jules-hedges / awesome-applied-category-theory
  ACT community resources
  ☆21Updated 5 years ago
• prathyvsh / history-of-logic
  A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.
  ☆57Updated 6 months ago
• statebox / bcfwm
  Blockchain Technology for the Working Mathematician
  ☆24Updated 8 years ago
• bgavran / Agda_Category_Theory
  Formalization of category theory in Agda
  ☆17Updated 2 years ago
• kl4yfd / timewave_z3r0
  A public domain version of Terrence Mckenna's Timewave Zero software
  ☆97Updated 4 years ago
• ToposInstitute / poly
  ☆118Updated last year
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 3 years ago
• vladimirias / old_notes_on_type_systems
  Voevodsky's notes on type systems. This version contains more material than the one on his website.
  ☆11Updated 11 years ago
• mbuliga / quinegraphs
  Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).
  ☆22Updated 2 years ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆67Updated 5 months ago
• mattecapu / awesome-double-categories
  A list of works and resources about double category theory, with a particular focus on applications.
  ☆30Updated 2 years ago
• CyberCat-Institute / Aptwe
  A well typed by construction kernel language for bidirectional programming
  ☆14Updated 8 months ago
• prathyvsh / notation
  Repo to track the evolution of notation in arts and sciences
  ☆145Updated 2 years ago
• nilesjohnson / hopf_fibration
  Modifications of Niles Johnson's Hopf Fibration drawing code
  ☆36Updated 10 years ago
• mathigatti / CellularAutomataClustering
  Cellular automata patterns are clustered based on features related to beauty such as fractal dimensionality and compression efficiency.
  ☆16Updated 5 years ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆14Updated this week
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆77Updated 2 months ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆53Updated last year