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
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆40Updated 9 years ago
• nomyx / Nomyx
  The Nomyx game
  ☆84Updated 2 years ago
• probmods / webchurch
  A Church to Javascript compiler (DEPRECATED)
  ☆141Updated 7 years ago
• blynn / morans
  Get a Brain
  ☆24Updated 5 years ago
• chorasimilarity / chemlambda-gui
  Life like molecular computers with artificial chemistry.
  ☆137Updated 3 years ago
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆179Updated last year
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆27Updated 2 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• bgamari / optimization
  Some numerical optimization methods implemented in Haskell
  ☆47Updated 5 years ago
• forestdb / forestdb.org
  A repository for generative models
  ☆117Updated 4 months ago
• alexandersgreen / qio-haskell
  The Quantum IO Monad, implemented in Haskell
  ☆104Updated last year
• hrldcpr / Bezier.hs
  Bézier curves in Haskell
  ☆28Updated 3 weeks ago
• walck / learn-physics
  A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechani…
  ☆184Updated 2 years ago
• UniMath / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆245Updated 11 years ago
• renzyq19 / pi-calculus
  ☆27Updated 11 years ago
• Poincare / QLearn
  A fast, easy-to-use q-learning library for Haskell
  ☆45Updated 9 years ago
• ajtulloch / deeplearning-hs
  ☆54Updated 9 years ago
• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆27Updated 8 years ago
• wyager / Example-Distributed-App
  An example distributed systems application in Haskell using Cloud Haskell
  ☆69Updated 4 years ago
• nh2 / haskell-from-python
  Example how to call Haskell from Python easily (using ctypes.cdll.LoadLibrary)
  ☆58Updated 12 years ago
• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆100Updated 11 months ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Updated 5 years ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 8 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
• jamesdabbs / pi-base.hs
  A Haskell-powered modernization of Counterexamples in Topology
  ☆39Updated 9 years ago
• jsnajder / genprog
  Genetic programming library
  ☆24Updated 12 years ago
• HIPERFIT / accelerate-opencl
  ☆34Updated 13 years ago
• alpmestan / hnn
  haskell neural network library
  ☆113Updated 8 years ago
• leanprover / lean2
  Lean theorem prover version 0.2 (it supports standard and HoTT modes)
  ☆123Updated 3 years ago