Pinned Repositories
4312-assignment
This repository holds a requirements document for an Isolette system. The requirements were proven complete using a theorem prover (PVS - Specification & Verification System)
azure-docs
Open source documentation of Microsoft Azure
c-sharp-tutorial
Projects from tutorials following https://mva.microsoft.com/en-us/training-courses/c-fundamentals-for-absolute-beginners-16169?l=Lvld4EQIC_2706218949
EECS4313-Software-Testing
Coursework for EECS 4313
EECS4315-MissionCriticalSystems
Coursework for EECS 4315
Home_Thermal_Management
EECS 3215 Project - Arduino
JPF-EndlessLoopDetector-Enhancement
Enhancement to the functionality of an existing JPF listener called EndlessLoopDetector.
Pomodoro
Xamarin.iOS (C#) mobile app with Azure cloud-based backend service. Allows user to enter notes, tasks, and set timer based on Pomodoro Technique.
semantic-kernel
Integrate cutting-edge LLM technology quickly and easily into your apps
U-TRACKR
Computer vision based tracking system (proof of concept)
VarshaRagavendran's Repositories
VarshaRagavendran/4312-assignment
This repository holds a requirements document for an Isolette system. The requirements were proven complete using a theorem prover (PVS - Specification & Verification System)
VarshaRagavendran/azure-docs
Open source documentation of Microsoft Azure
VarshaRagavendran/c-sharp-tutorial
Projects from tutorials following https://mva.microsoft.com/en-us/training-courses/c-fundamentals-for-absolute-beginners-16169?l=Lvld4EQIC_2706218949
VarshaRagavendran/EECS4313-Software-Testing
Coursework for EECS 4313
VarshaRagavendran/EECS4315-MissionCriticalSystems
Coursework for EECS 4315
VarshaRagavendran/Home_Thermal_Management
EECS 3215 Project - Arduino
VarshaRagavendran/JPF-EndlessLoopDetector-Enhancement
Enhancement to the functionality of an existing JPF listener called EndlessLoopDetector.
VarshaRagavendran/Pomodoro
Xamarin.iOS (C#) mobile app with Azure cloud-based backend service. Allows user to enter notes, tasks, and set timer based on Pomodoro Technique.
VarshaRagavendran/semantic-kernel
Integrate cutting-edge LLM technology quickly and easily into your apps
VarshaRagavendran/U-TRACKR
Computer vision based tracking system (proof of concept)
VarshaRagavendran/UnityTutorial
Working with Unity.
VarshaRagavendran/VENS
VENS bookstore application (similar to Indigo.ca) developed following J2EE framework.