Explore projects

Jasig CAS: http://www.jasig.org/cas Cloned from https://github.com/Jasig/cas

This is a fork from https://github.com/typetools/checker-framework

Basic Chess

CS446 Project- 2018 Spring

An Administrative Temporal Role Based Access Control (ATRBAC) Safety solver, called Cree.

This project updates ARBAC to use the input format used by Cree, but removes the Temporal aspect (only uses 1 timeslot).

Project template

Lecture Demo Code from CS 349 Lectures