Skip to content
View smithtim's full-sized avatar

Organizations

@timlabs

Block or report smithtim

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

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 10 4

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

    An Atom language package for the Oak proof checker.