chikinn / hanabiLinks
Computer players for a collaborative card game
☆25Updated 6 years ago
Alternatives and similar repositories for hanabi
Users that are interested in hanabi are comparing it to the libraries listed below
Sorting:
- A Learning Environment for Theorem Proving☆76Updated 3 years ago
- ☆42Updated 8 years ago
- A simulator for strategies of a well-known cooperative card game.☆15Updated 9 years ago
- The formal proof of the Kepler conjecture☆171Updated last year
- Framework for writing bots that play Hanabi.☆37Updated 6 years ago
- AIXIjs - General Reinforcement Learning in the Browser☆149Updated 5 years ago
- Karel dataset for program synthesis and program induction☆79Updated 8 years ago
- Latex starters for creating a CMU thesis or thesis proposal☆36Updated 8 years ago
- DeepAlgebra☆25Updated 8 years ago
- Jekyll in Haskell (feat. LaTeX)☆93Updated 8 years ago
- Implementation of https://medium.com/ai-control/alba-an-explicit-proposal-for-aligned-ai-17a55f60bbcf☆27Updated 8 years ago
- ML/DL/RL paper notes☆21Updated 7 years ago
- Presentation software based on nested, zoomable canvases and live code.☆20Updated 8 years ago
- A web server that allows people to play Hanab, a cooperative card game of logic and reasoning.☆199Updated this week
- ☆54Updated 10 years ago
- A Church to Javascript compiler (DEPRECATED)☆141Updated 7 years ago
- Experiments towards neural network theorem proving☆789Updated 5 years ago
- Warehouse for running small experiments and sharing them with the group☆29Updated 9 years ago
- LaTeX class and template for typesetting math homework☆96Updated 4 years ago
- A Pokemon Showdown battling AI.☆68Updated 2 years ago
- BiBLaTeX style for Springer Lecture Notes in Computer Science☆21Updated 6 years ago
- Style package for directly including color emojis in latex documents☆225Updated 6 years ago
- The Design and Implementation of Probabilistic Programming Languages☆180Updated last year
- in progress☆72Updated 8 years ago
- Tensorlang, a differentiable programming language based on TensorFlow☆292Updated 8 years ago
- Exact Inference Engine for Probabilistic Programs☆135Updated 9 months ago
- L-Functions and Modular Forms Database☆278Updated 3 weeks ago
- ☆40Updated 10 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆246Updated 11 years ago
- Typed frontend to TensorFlow and higher-order deep learning☆156Updated 3 years ago