Repos by statebox

statebox / repos

42 repos

	Repo	Language	Stars	Rank
	awesome-applied-ct	unknown	459	7,763
	idris-ct	Idris	250	8
	cql	Haskell	160	619
	fsm-oracle	Idris	58	35
	bcfwm	TeX	24	3,640
	purescript-firestore	PureScript	13	533
	dstbx	Idris	8	238
	idris-multihash	Idris	8	234
	applied-cat	JavaScript	7	368,692
	ptnet-viewer	JavaScript	6	424,121