Amin Timany's repositories
Categories
A formalization of category theory in the Coq proof assistant.
column-enforce-mode
Highlight text that extends beyond a certain column. Can be used to enforce 80 column rule (well more like suggest, not enforce)
company-coq
IDE extensions for Proof General's Coq mode
CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
homebrew-core
:beers: Core formulae for the Homebrew package manager
iris-logrel
Logical relations in iris.
iris-spanning-tree
Verification of a concurrent in-place spanning tree algorithm in Iris
iris-with-logrel-backup
My copy of iris development