Pinned 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
site-checker
Stupid program that checks for the availability of websites.
asherrecv's Repositories
asherrecv/coq-shortest-path
Coq formalisation of the witness property for the distributed computation of shortest paths.
asherrecv/process
Clojure library for shelling out / spawning sub-processes
asherrecv/site-checker
Stupid program that checks for the availability of websites.