David Asher's repositories
coq-shortest-path
Coq formalisation of the witness property for the distributed computation of shortest paths.
process
Clojure library for shelling out / spawning sub-processes
Language:ClojureEPL-1.0000
site-checker
Stupid program that checks for the availability of websites.