tupl-tufts's tracked open-source repos, sorted by stars.
Types, type checking, and contracts for Ruby
