Pinned

1. pandemic_RL pandemic_RL Public

   Reinforcement learning for economically optimal pandemic response.

   Jupyter Notebook 1 1

2. graphics graphics Public

   3D rendering engine built from scratch in C.

   C

3. 6.867 6.867 Public

   Work for MIT 6.867, machine learning

   TeX 1

4. 6.887 6.887 Public

   Work for MIT 6.887: Formal Reasoning About Programs

   Coq

5. 6.945 6.945 Public

   Code for Professor Gerald Sussman's "Adventures in Advanced Symbolic Programming" class assignments. Course page: https://groups.csail.mit.edu/mac/users/gjs/6.945/ ; Textbook: https://mitpress.mit.…

   Scheme 2 1

6. Stuy-Naught-2010 Stuy-Naught-2010 Public

   Zero Robotics competition code. Was run on the International Space Station.

   C 14 4