Gigachad's own git server

Name	Description	Idle
chadprover	Software for automated proofs.	14 months
chadscraper	Tool for crawling and scraping websites, storing data in CSV format.	10 months
chadscripts	My scripts.	4 days
chadunix-fs	A simple UNIX filesystem simulation done for my operating systems class.	3 years
dotfiles	My dotfiles.	7 days