Gigachad's own git server

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