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:
- Presentation software based on nested, zoomable canvases and live code.☆20Updated 8 years ago
- A simulator for strategies of a well-known cooperative card game.☆15Updated 9 years ago
- probabilistic programming for PL folks☆160Updated 4 years ago
- Exact Inference Engine for Probabilistic Programs☆135Updated 10 months ago
- AIXIjs - General Reinforcement Learning in the Browser☆149Updated 5 years ago
- ☆42Updated 8 years ago
- ☆54Updated 10 years ago
- DeepAlgebra☆25Updated 8 years ago
- Framework for writing bots that play Hanabi.☆37Updated 6 years ago
- A Learning Environment for Theorem Proving☆76Updated 3 years ago
- ML/DL/RL paper notes☆21Updated 7 years ago
- in progress☆72Updated 8 years ago
- Jekyll in Haskell (feat. LaTeX)☆93Updated 8 years ago
- Patched version of HOL Light with tactic logging for machine learning purposes☆34Updated 5 years ago
- CHomP -- Computation Homology Project software☆51Updated last year
- Tensorlang, a differentiable programming language based on TensorFlow☆292Updated 8 years ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆130Updated 11 years ago
- The Design and Implementation of Probabilistic Programming Languages☆180Updated last year
- A blog post exploring a connection between neural networks and topology☆101Updated 7 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
- Implementation of https://medium.com/ai-control/alba-an-explicit-proposal-for-aligned-ai-17a55f60bbcf☆27Updated 8 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆77Updated 7 years ago
- A Haskell wrapper for xgboost☆23Updated 8 years ago
- A probabilistic programming language☆322Updated 3 years ago
- Typed frontend to TensorFlow and higher-order deep learning☆156Updated 3 years ago
- Formal verification of parts of the Stacks Project in Lean☆22Updated 4 years ago
- Warehouse for running small experiments and sharing them with the group☆29Updated 9 years ago
- Synthetic Topology in Homotopy Type Theory for probabilstic programming☆12Updated 8 years ago
- Search for BibTeX references☆128Updated 8 years ago