Popular repositories Loading

1. uscode uscode Public

   The United States Code in readable, editable Markdown.

   Ruby 16 9

2. oak oak Public

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

   Ruby 3

3. voting_systems voting_systems Public

   Ruby gem implementing various voting systems.

   Ruby 2

4. atom-language-oak atom-language-oak Public

   An Atom language package for the Oak proof checker.

5. highlightjs-oak highlightjs-oak Public

   A highlight.js language definition for the Oak proof checker.

   JavaScript