Explore projects

View COSCO project

Tuli, Shreshth / COSCO
BSD 3-Clause "New" or "Revised" License

[TPDS'21] COSCO: Container Orchestration using Co-Simulation and Gradient Based Optimization for Fog Computing Environments

0

Updated Nov 22, 2021

0 0 0 0

Updated Nov 22, 2021
View pintos-skeleton project

Alexandros Tasos / pintos-skeleton
Other

Provided files for the 1920 Pintos lab exercise

0

Updated Feb 05, 2022

0 0 0 0

Updated Feb 05, 2022
View UNVEIL Frontend project

Extending UNVEIL / UNVEIL Frontend
MIT License

0

Updated Jan 11, 2021

0 0 0

Updated Jan 11, 2021
View psvg.doc.ic.ac.uk project

xr119 / psvg.doc.ic.ac.uk

Source for https://vtss.doc.ic.ac.uk/, Program Specification & Verification Group webpages

0

Updated Jan 24, 2022

0 0 0 0

Updated Jan 24, 2022
View Anime-selector project

Zhang, Zirui / Anime-selector

0

Updated Dec 03, 2025

0 0 0 0

Updated Dec 03, 2025
View Project Allocator project

Wong, Adrian / Project Allocator

0

Updated Jul 02, 2023

0 0 0 3

Updated Jul 02, 2023
View FormaliSE20repo project

Davide Cavezza / FormaliSE20repo
GNU General Public License v3.0 or later

0

Updated Jan 23, 2020

0 0 0 0

Updated Jan 23, 2020
View ThesisRepo project

Davide Cavezza / ThesisRepo

Repository containing the implementations and data of the PhD thesis of Davide Cavezza

0

Updated Nov 24, 2020

0 0 0 0

Updated Nov 24, 2020
View alexapp1 project

Alex Constantin-Gómez / alexapp1

A Python-based Flask template to get you started!

0

Updated Dec 01, 2021

0 0 0 0

Updated Dec 01, 2021
View Laughable project

Tiberiu-Andrei Georgescu / Laughable

0

Updated Dec 22, 2020

0 0 0 0

Updated Dec 22, 2020
View MetaRL project

Wang, Mia / MetaRL
BSD 3-Clause "New" or "Revised" License

0

Updated May 07, 2022

0 0 0 0

Updated May 07, 2022
View help-pages project

tdc17 / help-pages

0

Updated Jul 10, 2025

0 0 0 0

Updated Jul 10, 2025
View psvg.doc.ic.ac.uk project

Verified Software / psvg.doc.ic.ac.uk

Source for https://vtss.doc.ic.ac.uk/, Program Specification & Verification Group webpages

0

Updated May 16, 2023

0 2 0 12

Updated May 16, 2023
View TACAS17extRepo project

Davide Cavezza / TACAS17extRepo

0

Updated Dec 06, 2018

0 0

Updated Dec 06, 2018
View html-web-demo project

Jason Bailey / html-web-demo

0

Updated Oct 08, 2025

0 0 0 0

Updated Oct 08, 2025
View medical_image_web_server project

Liu, Tony / medical_image_web_server

0

Updated Nov 02, 2022

0 0 0 0

Updated Nov 02, 2022
View pintos-skeleton project

Polatkan, Alptug / pintos-skeleton
Other

Provided files for the 1920 Pintos lab exercise

0

Updated Nov 04, 2025

0 0 0 0

Updated Nov 04, 2025
View PintOS project

Chandirassegarane, Shreeharan / PintOS
Other

Provided files for the 1920 Pintos lab exercise

0

Updated May 15, 2025

0 1 0 0

Updated May 15, 2025
View multicore-pintos project

Gallagher, Liam / multicore-pintos
Other

Provided files for the 1920 Pintos lab exercise

0

Updated Jun 22, 2023

0 0 0 0

Updated Jun 22, 2023
View FYP project

Rosemary / FYP

0

Updated Jun 23, 2021

0 0 0 0

Updated Jun 23, 2021