Pinned Loading
-
timlabs/oak
timlabs/oak PublicOak is a proof checker focused on simplicity, readability, and ease of use.
Ruby 3
-
timlabs/voting_systems
timlabs/voting_systems PublicRuby gem implementing various voting systems.
Ruby 2
-
timlabs/uscode
timlabs/uscode PublicThe United States Code in readable, editable Markdown.
-
timlabs/atom-language-oak
timlabs/atom-language-oak PublicAn Atom language package for the Oak proof checker.
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.