Gigachad's own git server

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