Gigachad's own git server

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