AnnyKong

Pinned Repositories

• 381-Programming

  Introduction to using Python and Gurobi to solve linear programming problems for UW's Math 381 (Autumn 2018)

  Language:Jupyter Notebook0200

• Campus-Path

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

  Language:Java0200

• checker-framework

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

  Language:Java1361

• Denoise-multi-weak-sources-rep

  Language:Python10

• Hopfield

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

  Language:Java00

• Island-Warfare

  VR Capstone Project from 4 Fun Team at UW CSE.

  Language:C#0200

• ModeShift-App

  Team Website: https://annykong.github.io/ModeShift-App/

  Language:JavaScript2200

• 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 desireable traits. To be specific, the Nullness Checker with Nullness_Lite option enabled will be faster and easier to use by deliberately giving up soundness.

  Language:HTML00

• rest-assured

  Java DSL for easy testing of REST services

  Language:Java1200

• Web-Crawler

  A multiprocess web crawler for crawling historical photo records.

  Language:Jupyter Notebook1200

AnnyKong's Repositories