Pinned Loading

1. timlabs/oak timlabs/oak Public

   Oak is a proof checker focused on simplicity, readability, and ease of use.

   Ruby 3

2. timlabs/voting_systems timlabs/voting_systems Public

   Ruby gem implementing various voting systems.

   Ruby 2

3. timlabs/uscode timlabs/uscode Public

   The United States Code in readable, editable Markdown.

   Ruby 13 7

4. timlabs/atom-language-oak timlabs/atom-language-oak Public

   An Atom language package for the Oak proof checker.