Pinned Loading

1. agda-ring-solver agda-ring-solver Public archive

   A fast, easy-to-use ring solver for agda with step-by-step solutions

   Agda 40 4

2. agda-playground agda-playground Public

   Agda 9 1

3. monus-weighted-search monus-weighted-search Public

   Efficient search weighted by an ordered monoid with monus.

   Haskell 19 2