Pinned Loading

1. Qicc Qicc Public

   Expediting verification of assertions in loops by isolation

   OCaml 1

2. Variability-Datalog-C Variability-Datalog-C Public

   Extracting Datalog Facts from C programs with variability

   OCaml

3. LittleLogistics LittleLogistics Public

   Water and Rail logistics mod for Minecraft Forge

   Java 46 22

4. UofTCourseInfo UofTCourseInfo Public

   Adds tooltips to U of T courses mentioned across the web

   JavaScript 25 3

5. EDToaster/UofT-Map EDToaster/UofT-Map Public

   An Android Map app for Students

   Java 6 1

6. gitbox-u/gitbox gitbox-u/gitbox Public

   Fancy stats for your git repos

   JavaScript 7