jroesch/typed.clj
Hacking around for fun
A Scala implementation of the examples in Chris Okasaki's Purely Functional Data Structures.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Hacking around for fun
Scripts for migration from HipChat to Slack
A small Rust standard library for use in CSE 451
An implementation of bit vectors in Coq.