Alternatives and similar repositories for Complex-Adaptive-Systems:

Users that are interested in Complex-Adaptive-Systems are comparing it to the libraries listed below

• Alex-Linhares / FARGonautica
  ☆115Updated last year
• gjoncas / Diagrammatic
  Philosophy diagrams in Ti𝑘Z
  ☆35Updated 3 years ago
• jcoder58 / PrologTutorials
  Prolog Tutorials and Information
  ☆170Updated 5 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 8 years ago
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆176Updated 10 months ago
• ajhager / copycat
  A translation of Melanie Mitchell's original Copycat project from Lisp to Python.
  ☆43Updated 7 years ago
• JordanMicahBennett / God
  A non-absolute, time-space complex optimal artificial brain (composed in matrix laboratory (matlab), by Jordan Micah Bennett)
  ☆22Updated 5 years ago
• CyberCat-Institute / open-game-engine
  Haskell implementation of open games
  ☆157Updated last month
• vladimirias / old_notes_on_type_systems
  Voevodsky's notes on type systems. This version contains more material than the one on his website.
  ☆11Updated 10 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.
  ☆55Updated this week
• jalanb / co.py.cat
  co.py.cat extends Hofstadter's, pythonically
  ☆58Updated 7 months ago
• cdglabs / prolog-viz
  The best Prolog visualizer
  ☆85Updated 2 years ago
• drever / ct-consciousness
  ☆15Updated 8 months ago
• dvanhorn / redex-aam-tutorial
  An Introduction to Redex with Abstracting Abstract Machines
  ☆102Updated 11 months ago
• gjoncas / Artificial-Philosophy
  m̴̨̱̫͆͆a̴̪̟͙͔̹̒c̶͚̻̏h̶̙̖̓̀ȋ̵̝̭͕̦̝̽ṇ̴̙͖̆̌̐̅̕į̷̧̡̼̜̆̄̽c̷͓̔̐̃̚ ̸͈̦͓̿́̊̍ờ̷͎̭̌̀ń̴̨̠̮̫̀t̴͕̭̑̈͐ơ̴̙̇̀̄̾l̵̞̬̆̈́̐ō̸̰̟͖̠͈̏̅g̴̢̼͈̈́̅̀̾̓y̴̼͉̆͊͑͝…
  ☆28Updated 4 years ago
• skbaek / Ethics
  I.I-XI of Spinoza's Ethics, formalized in Coq
  ☆18Updated 9 years ago
• friguzzi / cplint
  cplint is a suite of programs for reasoning with probabilistic logic programs
  ☆73Updated 3 months ago
• probmods / probmods2
  probmods 2: electric boogaloo
  ☆306Updated last year
• devinmcgloin / theory
  Interesting Papers and Ideas
  ☆83Updated 8 years ago
• mnielsen / magic_paper
  Experiments in an explorable visual medium for mathematics
  ☆260Updated 7 years ago
• ssardina / ergo
  ERGO Agent Programming Language
  ☆27Updated 8 months ago
• pel-daniel / mind-bicycles
  List of future of programming projects
  ☆357Updated 8 months ago
• miniKanren / TheReasonedSchemer
  Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.
  ☆126Updated 12 years ago
• opencog / learn
  Neuro-symbolic interpretation learning (mostly just language-learning, for now)
  ☆149Updated 2 weeks ago
• futureofcoding / futureofcoding.org
  ☆141Updated last week
• CompSciCabal / reading-material
  Reading schedule and our library of pdfs
  ☆24Updated 5 years ago
• aindilis / free-life-planner
  Free Life Planner: An AI tool for helping with planning for day-to-day life.
  ☆65Updated 5 months ago
• Quuxplusone / TNT
  Douglas Hofstadter's "Typographical Number Theory"
  ☆16Updated last year
• opencog / generate
  Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)
  ☆30Updated last month
• leanprover / lean2
  Lean theorem prover version 0.2 (it supports standard and HoTT modes)
  ☆120Updated 2 years ago