Repos by ropas

ropas / repos

7 repos

	Repo	Language	Stars	Rank
	pytea	TypeScript	311	8,308
	sparrow	OCaml	120	316
	zooberry	Coq	22	237
	ssft19-ai	OCaml	1	10,795
	ssft19-sparrow	C	0	-
	PLDI2020_242_artifact_publication	C	0	-
	PLDI2020_AE	C	0	-