Repositories list

• CrownLabs

  Public
  Kubernetes-based Remote Laboratories

  kubernetesgolangreactjs+ 3novnckubevirtkubebuilder

  Go

  •

  Apache License 2.0

  •56•119•15•16•Updated Aug 4, 2025Aug 4, 2025

• edge-infrastructure-ansible

  Public
  Collection of procedures to apply to setup and edge infrastructure for cloud continuum

  Shell

  •

  Other

  •6•0•3•0•Updated Jul 25, 2025Jul 25, 2025

• pretty-verifier

  Public
  Python

  •

  Apache License 2.0

  •0•2•0•0•Updated Jul 16, 2025Jul 16, 2025

• secure-border-controller

  Public
  Java

  •0•0•0•0•Updated May 28, 2025May 28, 2025

• cloudprog-2025

  Public
  Repository for labs and exercises in the Cloud Programming course

  Go

  •

  Apache License 2.0

  •11•3•0•1•Updated Apr 15, 2025Apr 15, 2025

• crownlabs-site

  Public
  HTML

  •8•0•0•0•Updated Apr 14, 2025Apr 14, 2025

• verefoo

  Public
  VEREFOO (VErified REFinement and Optimized Orchestrator) is a framework designed to provide an automatic way to allocate packet filters – in a Service Graph defined by the service designer and an auto-configuration technique to create firewall rules with respect to the specified security requirements.

  Java

  •

  Other

  •5•9•0•1•Updated Aug 26, 2024Aug 26, 2024

• verification-v2x

  Public
  0•1•0•0•Updated May 31, 2024May 31, 2024

• verification-fdo

  Public
  Java

  •0•0•0•0•Updated May 21, 2024May 21, 2024

• a2p

  Public
  Alerts-to-policies

  Java

  •0•0•0•0•Updated May 17, 2024May 17, 2024

• verification-paka

  Public
  0•0•0•0•Updated Feb 27, 2024Feb 27, 2024

• PoliTO-KubeTalks

  Public
  PoliTO-KubeTalks is a series of engaging and informative meetings where enthusiasts, professionals, and learners come together to delve deep into the world of Kubernetes.

  0•4•0•0•Updated Dec 21, 2023Dec 21, 2023

• dragon

  Public
  Distributed resource assignment algorithm to enable service oriented orchestration

  Python

  •

  GNU General Public License v3.0

  •1•0•0•1•Updated Dec 19, 2023Dec 19, 2023

• cloudtech-gitops

  Public
  18•0•0•0•Updated Dec 15, 2023Dec 15, 2023

• firewall-anomalies

  Public
  Java

  •0•0•0•0•Updated Jun 16, 2023Jun 16, 2023

• secure-vsomeip

  Public
  An implementation of Scalable service-Oriented MiddlewarE over IP

  C++

  •

  Mozilla Public License 2.0

  •750•18•0•0•Updated May 15, 2023May 15, 2023

• verification-zero-touch-provisioning

  Public
  0•0•0•0•Updated May 5, 2023May 5, 2023

• RLVNA

  Public
  EU – US Experimental Platforms interconnection

  Python

  •0•0•0•0•Updated Apr 19, 2023Apr 19, 2023

• verigraph

  Public
  Verigraph is a tool for automatically checking network graphs containing dynamic network middleboxes.

  Java

  •

  Other

  •1•2•0•5•Updated Oct 4, 2022Oct 4, 2022

• faveo-helpdesk

  Public
  Faveo Open source ticketing system build on Laravel framework

  PHP

  •

  Open Software License 3.0

  •582•1•0•0•Updated Dec 18, 2021Dec 18, 2021

• verefuse

  Public
  Java

  •0•1•0•0•Updated Nov 16, 2021Nov 16, 2021

• when-latency-matters-datasets

  Public
  The full datasets of the graphs presented in the manuscript "When Latency Matters: Measurements and Lessons Learned", submitted to ACM SIGCOMM CCR

  Python

  •0•1•0•0•Updated Jun 1, 2021Jun 1, 2021

• KubernetesOnDesktop

  Public
  University Project with the aim of running user applications on a remote cluster

  Shell

  •2•4•0•0•Updated Sep 1, 2020Sep 1, 2020

• passive-monitoring-technique

  Public
  Python

  •0•0•0•2•Updated Jun 19, 2020Jun 19, 2020

• noVNC

  Public
  VNC client web application

  JavaScript

  •

  Other

  •2.5k•0•0•0•Updated Apr 6, 2020Apr 6, 2020

• VPNaaS

  Public
  HPA with Custom Metrics: the VPN-as-a-service use case.

  dockerkubernetesopenvpn+ 1prometheus

  Smarty

  •0•0•0•2•Updated Mar 27, 2020Mar 27, 2020

• Multipoint-monitoring

  Public
  Python

  •1•2•0•0•Updated Dec 27, 2019Dec 27, 2019

• plexe-veins

  Public
  Repository for Plexe Veins

  C++

  •

  GNU General Public License v2.0

  •42•0•0•0•Updated Oct 31, 2019Oct 31, 2019

• plexe-sumo

  Public
  SUMO is an open source, highly portable, microscopic and continuous road traffic simulation package designed to handle large road networks. It allows for intermodal simulation including pedestrians and comes with a large set of tools for scenario creation.

  C++

  •

  Eclipse Public License 2.0

  •1.6k•1•0•0•Updated Oct 31, 2019Oct 31, 2019

• VeTeSS-Topcased-Verification-Plugin

  Public
  VeTeSS Topcase Verification Plugin

  HTML

  •

  Other

  •0•0•0•0•Updated Jul 15, 2019Jul 15, 2019