machine-intelligence / Botworld

Related projects: ⓘ

• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 6 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆35Updated 8 years ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Updated 4 years ago
• legalese / complaw-deeptech
  ☆51Updated this week
• blynn / morans
  Get a Brain
  ☆23Updated 4 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆71Updated 12 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆90Updated 5 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆29Updated 4 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆26Updated 12 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 6 years ago
• nomyx / Nomyx
  The Nomyx game
  ☆83Updated 10 months ago
• bgamari / optimization
  Some numerical optimization methods implemented in Haskell
  ☆47Updated 4 years ago
• chrisamaphone / comicgen
  Comic generation sandbox
  ☆9Updated 7 years ago
• argolab / dyna-R
  Dyna built on R-exprs (First Prototype)
  ☆12Updated 2 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆25Updated last year
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 9 years ago
• jgalenson / research.js
  Share your research online by compiling it to JavaScript!
  ☆23Updated 9 years ago
• nostrademons / eve-language
  A purely functional programming language intended for practical programming.
  ☆28Updated 14 years ago
• hrldcpr / Bezier.hs
  Bézier curves in Haskell
  ☆28Updated 8 years ago
• langston-barrett / reed-thesis
  My undergradate thesis on coinductive types in univalent type theory
  ☆16Updated 6 years ago
• duasfl8r / propagator.py
  A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator
  ☆34Updated 11 years ago
• Poincare / DCFL
  Communication Free Learning (i.e. constraint solving) implementation in Haskell
  ☆18Updated 9 years ago
• opencog / generate
  Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)
  ☆29Updated last year
• mit-plv / timl
  TiML: A Functional Programming Language with Time Complexity
  ☆75Updated 7 years ago
• nshepperd / funn
  Funn: Functional Neural Networks in Haskell
  ☆24Updated 5 years ago
• friguzzi / cplint
  cplint is a suite of programs for reasoning with probabilistic logic programs
  ☆68Updated 7 months ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 7 years ago
• sdiehl / haskell-picosat
  Haskell bindings for PicoSAT solver
  ☆16Updated 4 years ago