Pinned Repositories
clj-annotations
A clojure library designed to annotate values with arbitrary properties
concur
Dummy repository.
faraday
DynamoDB client for Clojure
highlight.js
JavaScript syntax highlighter with language auto-detection and zero dependencies.
minerva
Prototype of a journaling application.
nixpkgs
Nix Packages collection
atom-language-oak
An Atom language package for the Oak proof checker.
oak
Oak is a proof checker focused on simplicity, readability, and ease of use.
uscode
The United States Code in readable, editable Markdown.
voting_systems
Ruby gem implementing various voting systems.
smithtim's Repositories
smithtim/clj-annotations
A clojure library designed to annotate values with arbitrary properties
smithtim/concur
Dummy repository.
smithtim/faraday
DynamoDB client for Clojure
smithtim/highlight.js
JavaScript syntax highlighter with language auto-detection and zero dependencies.
smithtim/minerva
Prototype of a journaling application.
smithtim/nixpkgs
Nix Packages collection
smithtim/ox
Ruby Optimized XML Parser