Tsmith's Gems
| # | Total Rank | Daily Rank | Name | Summary |
|---|---|---|---|---|
| 1 | 166,987 | 122,967 | voting_systems | Implementations of various voting systems. |
| 2 | 180,539 | 32,058 | oakproof | A proof checker focused on simplicity, readability, and ease of use. |
| # | Total Rank | Daily Rank | Name | Summary |
|---|---|---|---|---|
| 1 | 166,987 | 122,967 | voting_systems | Implementations of various voting systems. |
| 2 | 180,539 | 32,058 | oakproof | A proof checker focused on simplicity, readability, and ease of use. |
xmisao