Popular repositories Loading

1. free-finesse free-finessePublic

   Analysis software for bridge and related card games

   C++ 2 5

2. dds ddsPublic

   Forked from dds-bridge/dds

   Double Dummy Solver written in C++ for the Bridge Card Game

   C++ 1

3. hanabi-learning-environment hanabi-learning-environmentPublic

   Forked from google-deepmind/hanabi-learning-environment

   Python 1

4. open_spiel open_spielPublic

   Forked from google-deepmind/open_spiel

   OpenSpiel is a collection of environments and algorithms for research in general reinforcement learning and search/planning in games.

   C++

5. pybind11 pybind11Public

   Forked from pybind/pybind11

   Seamless operability between C++11 and Python

   C++

6. PutnamBench PutnamBenchPublic

   Forked from trishullab/PutnamBench

   An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.

   Isabelle