yushan87
Assistant Teaching Professor of Computer Science at WPI
Worcester Polytechnic InstituteWorcester, MA
Pinned Repositories
hawkeye
Simple license header checker and formatter, in multiple distribution forms.
beginToReason
A tutor for teaching students to reason about their code.
beginToReason2
An improved version of the tutor for teaching students to reason about their code.
RESOLVE
RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.
RESOLVE-Workspace
RESOLVE Workspace
RESOLVEMinimalistWebUI
A simple Web UI that verifies RESOLVE files.
RESOLVETutorial
RESOLVEWebAPI
This is the back-end API that services request to compile, translate and verification using the RESOLVE compiler.
RESOLVEWebIDE-v4
RESOLVE Web IDE developed using Play Framework 1.25
RESOLVEWebIDE-v5
RESOLVE Web IDE developed using Play Framework 2.x
yushan87's Repositories
yushan87/beginToReason
A tutor for teaching students to reason about their code.
yushan87/beginToReason2
An improved version of the tutor for teaching students to reason about their code.
yushan87/RESOLVE
RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.
yushan87/RESOLVE-Workspace
RESOLVE Workspace
yushan87/RESOLVEMinimalistWebUI
A simple Web UI that verifies RESOLVE files.
yushan87/RESOLVETutorial
yushan87/RESOLVEWebAPI
This is the back-end API that services request to compile, translate and verification using the RESOLVE compiler.
yushan87/RESOLVEWebIDE-v4
RESOLVE Web IDE developed using Play Framework 1.25
yushan87/RESOLVEWebIDE-v5
RESOLVE Web IDE developed using Play Framework 2.x