Repos by tchajed

tchajed / repos

104 repos

	Repo	Language	Stars	Rank
	audiobook-splitting	Python	11	329,156
	coq-ltac2-experiments	Coq	11	428
	goedel-t	Coq	9	530
	div-regex	Python	9	374,708
	coq-io	Coq	9	515
	Voting.jl	Julia	8	6,282
	futex-tutorial	C	8	88,125
	protocol-verification-fa2023	Dafny	8	18
	personal-website-demo	JavaScript	7	355,926
	rust-nbd	Rust	7	43,325