Pinned Loading

1. optimal-yahtzee-extreme optimal-yahtzee-extreme Public

   Play optimal solitaire Yahtzee, including Extreme variant

   Rust

2. agda2hs agda2hs Public

   Forked from agda/agda2hs

   Compiling Agda code to readable Haskell. Contributions for MSc thesis are at strict-runtime-check.

   Agda

3. aoc24 aoc24 Public

   Rust