Submissions from github.com/clarus

		Scalable, testable and typable side effects for Redux (github.com/clarus)
		2 points by altern8tif on Oct 25, 2016 \| past
		Redux Ship: Composable, typable and testable Redux middleware (github.com/clarus)
		2 points by gfortaine on Sept 10, 2016 \| past
		Proving false in Coq using an implementation bug (github.com/clarus)
		125 points by clarus on March 24, 2015 \| past \| 61 comments