181351 posts 1993 follows 1215 followers
Please pay attention to random failures.
conal/agda-hardware: Denotational hardware design in Agdahttps://github.com/conal/agda-hardware