Repos by tchajed

tchajed / repos

104 repos

	Repo	Language	Stars	Rank
	coq-tricks	Coq	476	11
	minimal-elf	Rust	99	7,609
	goose	Go	89	17,555
	iris-simp-lang	Coq	44	123
	coq-record-update	Coq	42	132
	ltac2-tutorial	Coq	39	146
	coq-tactical	Coq	15	339
	rdb	Rust	13	29,578
	coq-tla	Coq	13	367
	database-stream-processing-theory	Lean	12	193