Gigachad's own git server

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