Repos by Taneb

Taneb / repos

51 repos

	Repo	Language	Stars	Rank
	aoc2020	Haskell	1	31,385
	regex	Agda	1	938
	primes	Agda	1	932
	Maze	Rust	0	-
	BlottleshipsServer	unknown	0	-
	Glitchy	unknown	0	-
	Crisis	Python	0	-
	NYHC	unknown	0	-
	AgdaCBuzz	Agda	0	-
	icu	Rust	0	-