Pinned Repositories
dafny-server
system to compile dafny on a remote server.
RCOSLife2.0GameProject
deezer-discord-rpc
A Discord RPC for Deezer
crisis
dafny-server
system to compile dafny on a remote server.
Principles-of-Software
This is a "living" textbook meant to supplement and improve upon RPI's CSCI 2600.
PSoft-Tools
Interactive tools for students taking CSCI 2600 Principles of Software
quacs
Questionably Accurate Course Scheduler for RPI
quacs
Questionably Accurate Course Scheduler for RPI
rcos-handbook
Organization documentation for RCOS
nazime1's Repositories
nazime1/crisis
nazime1/dafny-server
system to compile dafny on a remote server.
nazime1/Principles-of-Software
This is a "living" textbook meant to supplement and improve upon RPI's CSCI 2600.
nazime1/PSoft-Tools
Interactive tools for students taking CSCI 2600 Principles of Software
nazime1/quacs
Questionably Accurate Course Scheduler for RPI