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
  ☆35Updated 3 years ago
• Alex-Linhares / FARGonautica
  ☆115Updated last year
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 8 years ago
• jules-hedges / awesome-applied-category-theory
  ACT community resources
  ☆20Updated 5 years ago
• DaveAckley / SPLAT
  Repository for programming language SPLAT: Spatial Programming Language, Ascii Text
  ☆51Updated 3 years ago
• enkiv2 / misc
  things that don't deserve their own repo
  ☆64Updated 3 weeks ago
• socketteer / hallucinator
  botttom-up vr redux
  ☆24Updated 3 years ago
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 3 months ago
• paulbricman / k-probes
  Promoting critical thinking through machine-generated prompts.
  ☆18Updated 3 years ago
• alhassy / CatsCheatSheet
  This project is to contain a listing of common theorems in elementary category theory.
  ☆72Updated 4 years ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆10Updated last year
• gjoncas / Artsy-Diagrams
  Creative diagrams in Ti𝑘Z
  ☆11Updated 3 years ago
• CyberCat-Institute / open-game-engine
  Haskell implementation of open games
  ☆155Updated 3 weeks ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• DaveAckley / ULAM
  Compiler for MFM programming language
  ☆21Updated 3 months ago
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆33Updated last month
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 10 years ago
• opencog / generate
  Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)
  ☆30Updated 3 weeks ago
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆23Updated 6 years ago
• skbaek / Ethics
  I.I-XI of Spinoza's Ethics, formalized in Coq
  ☆18Updated 9 years ago
• walkie / Hagl
  A Haskell DSEL for experimental game theory.
  ☆36Updated 2 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• opencog / asmoses
  MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)
  ☆39Updated last month
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆53Updated this week
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆17Updated last year
• ToposInstitute / poly
  ☆114Updated 7 months ago
• trueagi-io / metta-examples
  Discussion of MeTTa programming with examples
  ☆21Updated last month
• Euterpea / Euterpea2-Examples
  Small code examples demonstrating the use of Euterpea2 and HSoM
  ☆30Updated 4 years ago
• oblivia-simplex / plog
  A bare-bones blogging system, written in Prolog
  ☆25Updated last year