yogeshVU

PyNNV

Python wrapper to the NNV verification tool.

bindings

WebGME API bindings for Python

biostudies-backend-services

Repository for BioStudies backend services

carla-scenic-data-collector

Collect scenario data from Carla using Scenic scenarios. Data available at the below link. Please feel free to raise a github issue for any questions.

ClimateTraceKMP

Kotlin/Compose Multiplatform project to show climate related emission data from https://climatetrace.org/data.

cluster-resource-forecast

This repository contains experimental tools we developed to forecast a clusters' resource (CPU or memory) usage.

Coral_Pie

covid-19-mobility-analysis

Analysis of effects of mobility with COVID-19 cases.

DMSD

Data Model-Driven System Design and Integration

emergency-incident-detection-web-intelligence-2020

fleet

Online Federated Learning.

github-actions-gradle-test

testing the GitHub actions for grade projects

heterogeneous_optimistic_finish_time

To accompany the paper "An efficient new static scheduling heuristic for accelerated architectures".

HySTudio

Design Studio for Hybrid System Verification Tools

jsonschema-validation-kotlin-tutorial

just-the-docs

A modern, high customizable, responsive Jekyll theme for documention with built-in search.

knitting-service

knitting backend service

Metis

Metis: Learning to Schedule Long-Running Applications in Shared Container Clusters with at Scale

nnvdesignstudio

picocliKotlinTest

RM_DeepRL

Resource Management with DeepRL using TF Agents

Scenic

A compiler and scene generator for the Scenic scenario description language.

spring-courseweb

spring-restclient-test

testing the new spring RestClient

SpringCLITemplate

springloggingdemo

SpringMSALCalendarMicroervice

tutorials

vuse-summer-research

High Performance CPS Co-Simlations

yogeshvu.github.io