Repos by evdenis

evdenis / repos

39 repos

	Repo	Language	Stars	Rank
	acsl-proved	C	14	61,698
	mini-gmp	C	12	68,833
	spec-utils	Perl	9	5,960
	acsl-examples	C	7	105,043
	ldv-rules	C	6	114,941
	kmem	C	5	126,934
	generate-cpanfile	Perl	3	15,489
	evernote-firefox-webclipper	JavaScript	3	802,067
	yargen	Perl	3	15,154
	Contiki-NG	C	3	181,404