Alternatives and similar repositories for hanabi

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

• Quuxplusone / Hanabi
  Framework for writing bots that play Hanabi.
  ☆37Updated 6 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• ajtulloch / deeplearning-hs
  ☆54Updated 9 years ago
• ixchow / Preshack
  Presentation software based on nested, zoomable canvases and live code.
  ☆20Updated 8 years ago
• aslanides / aixijs
  AIXIjs - General Reinforcement Learning in the Browser
  ☆148Updated 5 years ago
• rjtobin / HanSim
  A simulator for strategies of a well-known cooperative card game.
  ☆15Updated 9 years ago
• zhangir-azerbayev / mathlib-semantic-search
  ☆15Updated 2 years ago
• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆28Updated 6 years ago
• 51alg / TerpreT
  ☆42Updated 8 years ago
• flypitch / flypitch
  A formal proof of the independence of the continuum hypothesis
  ☆133Updated last year
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆46Updated 3 years ago
• ml4tp / gamepad
  A Learning Environment for Theorem Proving
  ☆75Updated 3 years ago
• robsimmons / cmu-thesis
  Latex starters for creating a CMU thesis or thesis proposal
  ☆35Updated 8 years ago
• GU-CLASP / TypedFlow
  Typed frontend to TensorFlow and higher-order deep learning
  ☆156Updated 3 years ago
• jamievicary / globular
  Globular
  ☆39Updated 7 years ago
• sdiehl / haskell-picosat
  Haskell bindings for PicoSAT solver
  ☆17Updated 5 years ago
• jtristan / stump-learnable
  ☆16Updated 4 years ago
• JPMoresmau / rnn
  playing with recurrent neural networks
  ☆28Updated 9 years ago
• 2016rshah / heckle
  Jekyll in Haskell (feat. LaTeX)
  ☆93Updated 8 years ago
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆43Updated last week
• DavidJaz / DynamicalSystemsBook
  ☆50Updated last year
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆163Updated last year
• machine-intelligence / provability
  ☆39Updated 10 years ago
• AccelerateHS / accelerate-cuda
  DEPRECATED: Accelerate backend for NVIDIA GPUs
  ☆56Updated 8 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆130Updated 11 years ago
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆125Updated last year
• UniMath / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆245Updated 11 years ago
• tensorlang / tensorlang
  Tensorlang, a differentiable programming language based on TensorFlow
  ☆292Updated 7 years ago
• brunjlar / neural
  Neural Nets in native Haskell
  ☆124Updated 4 years ago
• VMatthijs / CHAD
  ☆21Updated 3 years ago