Repos by annenkov

annenkov / repos

26 repos

	Repo	Language	Stars	Rank
	two-level	Lean	27	107
	unmix	Racket	12	620
	trace-monoids	Agda	7	340
	futhark-extract	Coq	6	650
	stratego-sll	Java	4	276,745
	stlcnorm	Coq	3	1,106
	LBS	LigoLANG	3	17
	concordium-marlowe	Rust	3	67,654
	sql-dsl	Racket	1	3,450
	scala-sll	Scala	0	-