Popular repositories Loading

1. coq coq Public

   coq practice, excluding practive from Logical Foundations.

   Coq 1

2. Comp380_Team_Project Comp380_Team_Project Public

   HTML 1

3. Some-programs Some-programs Public

   Racket

4. mathprograms mathprograms Public

   Racket

5. csu-data-munging csu-data-munging Public

   The code from my research a while back

   Python

6. ssh-notes ssh-notes Public