timlabs

Pinned Repositories

atom-language-oak
An Atom language package for the Oak proof checker.
0 2 00
highlightjs-oak
A highlight.js language definition for the Oak proof checker.
Language:JavaScript00
oak
Oak is a proof checker focused on simplicity, readability, and ease of use.
Language:Ruby3 2 00
uscode
The United States Code in readable, editable Markdown.
Language:Ruby10 3 14
voting_systems
Ruby gem implementing various voting systems.
Language:Ruby2 2 00

timlabs's Repositories

timlabs/uscode
The United States Code in readable, editable Markdown.
Language:Ruby10 3 14
timlabs/oak
Oak is a proof checker focused on simplicity, readability, and ease of use.
Language:Ruby3 2 00
timlabs/voting_systems
Ruby gem implementing various voting systems.
Language:Ruby2 2 00
timlabs/atom-language-oak
An Atom language package for the Oak proof checker.
0 2 00
timlabs/highlightjs-oak
A highlight.js language definition for the Oak proof checker.
Language:JavaScript00