Pinned Loading

1. planimation-website planimation-website Public

   Educational website for Planimation

   JavaScript 2 1

2. 3-person-betting-game 3-person-betting-game Public

   Calculations of hitting probabilities for a betting game involving 3 players. At each round of the game, one player (giver) gives another player (receiver) the minimum of their current wealths, wit…

   Jupyter Notebook 1

3. 7angel4.github.io 7angel4.github.io Public

   Glad to see you here. This is my personal website.

   HTML

4. betting-game-proof betting-game-proof Public

   Computer-assisted proof for the 3-player betting game

   Jupyter Notebook

5. prism-games prism-games Public

   Forked from prismmodelchecker/prism-games

   The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.

   Java

6. SpecPool SpecPool Public

   SpecPool: How does combining Laplacian and raw node embeddings influence GNNs' performance in graph classification?

   Jupyter Notebook