Alternatives and similar repositories for Botworld

Users that are interested in Botworld are comparing it to the libraries listed below

• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 8 years ago
• nomyx / Nomyx
  The Nomyx game
  ☆84Updated 2 years ago
• probmods / webchurch
  A Church to Javascript compiler (DEPRECATED)
  ☆141Updated 7 years ago
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆180Updated last year
• forestdb / forestdb.org
  A repository for generative models
  ☆117Updated 5 months ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆27Updated 2 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆40Updated 9 years ago
• blynn / morans
  Get a Brain
  ☆24Updated 5 years ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Updated 5 years ago
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆119Updated last week
• chorasimilarity / chemlambda-gui
  Life like molecular computers with artificial chemistry.
  ☆138Updated 3 years ago
• probmods / chapters
  The online textbook Probabilistic Models of Cognition
  ☆169Updated 8 years ago
• nwf / dyna
  Dyna2 compiler and REPL
  ☆147Updated 5 years ago
• jgalenson / research.js
  Share your research online by compiling it to JavaScript!
  ☆23Updated 10 years ago
• dritchie / probabilistic-js
  Turning Javascript into a probabilistic programming language
  ☆58Updated 8 years ago
• TikhonJelvis / inductive-mazes
  Code for my blog post "Generating Mazes with Inductive Graphs"
  ☆41Updated 7 years ago
• bgamari / optimization
  Some numerical optimization methods implemented in Haskell
  ☆47Updated 5 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• ntoronto / drbayes
  Dr. Bayes
  ☆84Updated 9 years ago
• tensorlang / tensorlang
  Tensorlang, a differentiable programming language based on TensorFlow
  ☆292Updated 7 years ago
• chris-taylor / Classical-Mechanics
  Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.
  ☆89Updated 8 years ago
• UniMath / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆245Updated 11 years ago
• BayesianLogic / blog
  The BLOG programming language
  ☆100Updated 2 years ago
• bollu / cellularAutomata
  a collection of cellular automata written in Haskell with Diagrams
  ☆188Updated 6 years ago
• mcsoto / cosmos
  A new logic programming language.
  ☆175Updated 2 years ago
• walck / learn-physics
  A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechani…
  ☆185Updated 2 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆47Updated 8 years ago
• nh2 / haskell-from-python
  Example how to call Haskell from Python easily (using ctypes.cdll.LoadLibrary)
  ☆58Updated 12 years ago
• mikegashler / manic
  An implementation of the MANIC cognitive architecture.
  ☆39Updated 8 years ago