Alternatives and similar repositories for Botworld:

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

• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 8 years ago
• nomyx / Nomyx
  The Nomyx game
  ☆85Updated last year
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated 2 years ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆25Updated last year
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆14Updated 5 years ago
• blynn / morans
  Get a Brain
  ☆24Updated 5 years ago
• hrldcpr / Bezier.hs
  Bézier curves in Haskell
  ☆28Updated 8 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• bgamari / optimization
  Some numerical optimization methods implemented in Haskell
  ☆47Updated 4 years ago
• machine-intelligence / provability
  ☆35Updated 9 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆75Updated 7 years ago
• nshepperd / funn
  Funn: Functional Neural Networks in Haskell
  ☆25Updated 5 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆72Updated 12 years ago
• renzyq19 / pi-calculus
  ☆26Updated 10 years ago
• walkie / Hagl
  A Haskell DSEL for experimental game theory.
  ☆36Updated 2 years ago
• elenasa / ULAM
  Compiler for MFM programming language
  ☆59Updated 3 weeks ago
• andrejbauer / marshall
  Real number computation software
  ☆123Updated 2 years ago
• langston-barrett / reed-thesis
  My undergradate thesis on coinductive types in univalent type theory
  ☆17Updated 6 years ago
• probmods / webchurch
  A Church to Javascript compiler (DEPRECATED)
  ☆140Updated 6 years ago
• exercism / coq
  Exercism exercises in Coq.
  ☆18Updated 4 months ago
• louisabraham / domical
  In-browser OCaml notebooks 🐪
  ☆25Updated 5 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• chorasimilarity / chemlambda-gui
  Life like molecular computers with artificial chemistry.
  ☆135Updated 2 years ago
• DaveAckley / ULAM
  Compiler for MFM programming language
  ☆21Updated 3 weeks ago
• chris-taylor / Classical-Mechanics
  Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.
  ☆88Updated 7 years ago
• isovector / jazz
  i bet you there is a typesystem behind music
  ☆32Updated 6 years ago
• fieldstrength / xquant
  Dependently-typed structures for quantum physics in Idris
  ☆13Updated 9 years ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 8 years ago
• arthuraa / poleiro
  A blog about Coq
  ☆47Updated 2 years ago