Popular repositories Loading

1. CrysFormer CrysFormer Public

   Python 3

2. Idris-Blockchain Idris-Blockchain Public

   Idris 2

3. patterson_map patterson_map Public

   Python 2

4. undergraduate_research undergraduate_research Public

5. comp517-project comp517-project Public template

   Forked from ndauten/comp517-project

   Project Assignment for Comp517, including proposal, midterm results, final paper, presentation, and code

   TeX

6. 517-discussion-leader 517-discussion-leader Public template

   Forked from ndauten/517-discussion-leader

   Discussion leader assignment for Comp 517