Repos by clayrat

clayrat / repos

67 repos

	Repo	Language	Stars	Rank
	fav-ssr	Coq	37	156
	sequent-calc-talk	Idris	30	76
	sequent-calc	Idris	25	93
	modal-types	Idris	17	140
	opticui-elm-architecture	PureScript	13	549
	idris-linear	Idris	13	176
	coherence-spaces	Coq	9	504
	rp-with-monix	Scala	7	11,474
	exp-subs	Idris	6	273
	logrel-guarded	Agda	6	365