Alternatives and similar repositories for hanabi

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

• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• alecjacobson / coloremoji.sty
  Style package for directly including color emojis in latex documents
  ☆223Updated 6 years ago
• robsimmons / cmu-thesis
  Latex starters for creating a CMU thesis or thesis proposal
  ☆35Updated 8 years ago
• aslanides / aixijs
  AIXIjs - General Reinforcement Learning in the Browser
  ☆147Updated 5 years ago
• ixchow / Preshack
  Presentation software based on nested, zoomable canvases and live code.
  ☆20Updated 8 years ago
• 51alg / TerpreT
  ☆42Updated 8 years ago
• 2016rshah / heckle
  Jekyll in Haskell (feat. LaTeX)
  ☆93Updated 8 years ago
• HIPS / author-roulette
  LaTeX package for randomizing author order based on a public seed.
  ☆40Updated 10 years ago
• ProofByConstruction / better-explanations
  Warehouse for running small experiments and sharing them with the group
  ☆29Updated 9 years ago
• ellisk42 / TikZ
  ☆103Updated 3 years ago
• Quuxplusone / Hanabi
  Framework for writing bots that play Hanabi.
  ☆37Updated 6 years ago
• ajtulloch / deeplearning-hs
  ☆54Updated 9 years ago
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆163Updated last year
• sampsyo / ppl-intro
  probabilistic programming for PL folks
  ☆158Updated 4 years ago
• colah / Motivated-Topology
  A topology textbook with a hubristic title
  ☆31Updated 9 years ago
• GU-CLASP / TypedFlow
  Typed frontend to TensorFlow and higher-order deep learning
  ☆156Updated 3 years ago
• rjtobin / HanSim
  A simulator for strategies of a well-known cooperative card game.
  ☆15Updated 9 years ago
• imurray / redirectify
  Browser extension to redirect pages based on rules. Intended to stop the browser following links straight to the PDF of a paper, but inst…
  ☆154Updated last year
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆179Updated last year
• samim23 / GitXiv
  GitXiv - Collaborative Open Computer Science.
  ☆269Updated 8 years ago
• probmods / webchurch
  A Church to Javascript compiler (DEPRECATED)
  ☆141Updated 7 years ago
• colah / NN-Topology-Post
  A blog post exploring a connection between neural networks and topology
  ☆102Updated 6 years ago
• carpedm20 / karel
  Karel dataset for program synthesis and program induction
  ☆79Updated 7 years ago
• ekmartin / bibtex-search
  Search for BibTeX references
  ☆127Updated 7 years ago
• jamesdabbs / pi-base.hs
  A Haskell-powered modernization of Counterexamples in Topology
  ☆39Updated 9 years ago
• Qwlouse / shapeguard
  ShapeGuard is a small tool to help with handling shapes in Tensorflow.
  ☆17Updated 6 years ago
• carpedm20 / program-synthesis-rl-tensorflow
  in progress
  ☆72Updated 7 years ago
• tensorlang / tensorlang
  Tensorlang, a differentiable programming language based on TensorFlow
  ☆292Updated 7 years ago
• tensorflow / deepmath
  Experiments towards neural network theorem proving
  ☆790Updated 4 years ago
• ml4tp / gamepad
  A Learning Environment for Theorem Proving
  ☆76Updated 3 years ago