Popular repositories Loading

1. rlcard rlcard Public

   Forked from datamllab/rlcard

   Reinforcement Learning / AI Bots in Card (Poker) Games - Blackjack, Leduc, Texas, DouDizhu, Mahjong, UNO.

   Python

2. rlcard-colab rlcard-colab Public

   Jupyter Notebook

3. panel-demo panel-demo Public

   Using Holoviz panel with rlcard

   Jupyter Notebook

4. gin-rummy-lib gin-rummy-lib Public

   rlcard with Holoviz panel

   Python

5. metamath-lamp metamath-lamp Public

   Forked from expln/metamath-lamp

   Metamath-lamp (Lite Assistant for Metamath Proofs) is a GUI-based proof assistant for creating formal mathematical proofs in Metamath that does not require installation (just run it directly using …

   ReScript

6. ClaimGPT250203 ClaimGPT250203 Public

   Create a Generative Pretrained Transformer model for Metamath

   Python 1