Repos by jix

jix / repos

37 repos

	Repo	Language	Stars	Rank
	varisat	Rust	242	3,992
	sortnetopt	Isabelle	40	15
	partial_ref	Rust	14	28,808
	starlit	Rust	10	35,261
	permutation_group_experiments	Python	9	361,267
	flussab	Rust	8	40,112
	zwohash	Rust	7	43,978
	neca	C++	7	133,011
	kissat_extras	C	6	106,837
	sortnetopt-gnp	Rust	5	55,456