Popular repositories Loading

1. crc-project-1 crc-project-1 Public

   Jupyter Notebook

2. LVM-Project LVM-Project Public

   C

3. DTL-Model-Checking DTL-Model-Checking Public

   Jupyter Notebook

4. Haskell-reinforcement-learning Haskell-reinforcement-learning Public

   Follow along to the book "Hands on reinforcement learning for games" but in Haskell

   Haskell

5. Tic-Tac-Toe-AI-using-temporal-logic Tic-Tac-Toe-AI-using-temporal-logic Public

   A simple Tic-Tac-Toe artificial intelligence using temporal logic formulas

   Haskell

6. Transformers-for-image-synthesis Transformers-for-image-synthesis Public

   Python