Skip to content

@timlabs timlabs

All

    Repositories list

    5 repositories

    • oak

      Public
      Oak is a proof checker focused on simplicity, readability, and ease of use.
      Ruby
      •
      GNU Affero General Public License v3.0
      •0•3•0•0•Updated Mar 4, 2026Mar 4, 2026

    • highlightjs-oak

      Public
      A highlight.js language definition for the Oak proof checker.
      JavaScript
      •
      GNU Affero General Public License v3.0
      •0•0•0•0•Updated May 23, 2024May 23, 2024

    • atom-language-oak

      Public
      An Atom language package for the Oak proof checker.
      GNU Affero General Public License v3.0
      •0•0•0•0•Updated May 22, 2024May 22, 2024

    • uscode

      Public
      The United States Code in readable, editable Markdown.
      Ruby
      •
      GNU Affero General Public License v3.0
      •9•16•0•0•Updated May 20, 2022May 20, 2022

    • voting_systems

      Public
      Ruby gem implementing various voting systems.
      Ruby
      •
      GNU Affero General Public License v3.0
      •0•2•0•0•Updated Jul 6, 2019Jul 6, 2019
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.