justjoheinz/giter8
a command line tool to apply templates defined on github
Specs2 bindings for Scalaz
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
a command line tool to apply templates defined on github
Simple Testing framework for Idris
Public repository.
A Dependently Typed Functional Programming Language