Pinned Loading

1. oat-compiler-optimization oat-compiler-optimization Public

   Static analysis and compiler optimization for Oat. Completed for https://ilyasergey.net/YSC4230-static/hw06_optimisations.html

   OCaml

2. jrdegreeff/health-portrait jrdegreeff/health-portrait Public

   Final Project for 6.1040

   TypeScript 1 2

3. fritter-frontend fritter-frontend Public

   Twitter alternative for MIT 6.1040

   TypeScript

4. room-cleaning-game room-cleaning-game Public

   Room cleaning game. Generates random rooms, finds solutions, and check user solutions for each room. Designed for https://ilyasergey.net/YSC2229-static/final.html

   OCaml

5. tao_tcpa tao_tcpa Public

   Formalizing things from "Analysis I" in the Coq Proof Assistant

   Coq

6. tp tp Public archive

   Forked from AY2122S2-CS2113-F10-4/tp

   Java