Pinned

1. checker-framework checker-framework Public

   Forked from typetools/checker-framework

   This is a UW cse403 capstone project to implement NullnessLite option. | Checker Framework is a pluggable type-checking for Java.

   Java 1 1

2. Web-Crawler Web-Crawler Public

   A multiprocess web crawler for crawling historical photo records.

   Jupyter Notebook 1

3. Island-Warfare Island-Warfare Public

   Forked from cse-vr-capstone-team-4/Island-Warfare

   VR Capstone Project from 4 Fun Team at UW CSE.

   C#

4. Nullness_Lite Nullness_Lite Public

   Forked from weifanjiang/Nullness_Lite

   Nullness_Lite is a lite option of the Nullness Checker in the Checker Framework to detect nullness bugs in java source files. It disables the following features of Nullness Checker to obtain more d…

   HTML

5. Campus-Path Campus-Path Public

   This is a UW Campus Map navigation tool from UW cse331 individual project.

   Java

6. Hopfield Hopfield Public

   This is a Hopfield machine learning group project finished during UW amath383. It recognizes binary digits from 0-9.

   Java