Continuous Integration script for the TigerOS build server
Updated 6 years ago
This repository tweaks the default settings available in the gnome-shell-extension-dash-to-dock RPM package.
Updated 5 years ago
The Firefox profile package for TigerOS
Updated 5 years ago
The logos and branding package for TigerOS
Updated 5 years ago
The release package for TigerOS
Updated 5 years ago
RPM package for JFLAP
Updated 6 years ago
RPM package for Logisim
Updated 5 years ago
The repository package for TigerOS
Updated 5 years ago
The setup wizard tool for TigerOS
Updated 5 years ago
Software manager front-end to aid students in selecting TigerOS packages for installation.
Updated 6 years ago
The UI tweaks package for TigerOS.
Updated 5 years ago
TigerOS Website
Updated 5 years ago
Updated 4 years ago
Website and API used to aggregate and alert user of events from multiple sources.
Updated 4 years ago
CS224W Course Notes
Updated 4 years ago