Submissions from github.com/jwiegley

		chess.el (github.com/jwiegley)
		1 point by tosh on Sept 10, 2020 \| past
		A formalization of category theory in Coq (github.com/jwiegley)
		109 points by noch on Aug 4, 2017 \| past \| 33 comments
		A formalization in Coq of the Haskell pipes library (github.com/jwiegley)
		73 points by lelf on July 9, 2015 \| past \| 6 comments
		Ledger: Command-line double-entry accounting (github.com/jwiegley)
		57 points by mbrubeck on Oct 9, 2009 \| past \| 14 comments