timlabs

Popular repositories Loading

1. uscode uscodePublic

   The United States Code in readable, editable Markdown.

   Ruby 16 9

2. oak oakPublic

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

   Ruby 3

3. voting_systems voting_systemsPublic

   Ruby gem implementing various voting systems.

   Ruby 2

4. atom-language-oak atom-language-oakPublic

   An Atom language package for the Oak proof checker.

5. highlightjs-oak highlightjs-oakPublic

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

   JavaScript