flyearthr Goto Github PK

cnp3

Computer Networking : Principles, Protocols and Practice

frrouting_ubpf_algebras

inginious

INGInious is a secure and automated exercises assessment platform using your own tests, also providing a pluggable interface with your existing LMS.

inginious-c-qemu

inginious-containers

Additional containers for INGInious. INGInious is a free and open-source platform for secure and automated code assessment.

ipmininet

Mininet extension to make experimenting with IP networks easy

lingi1123-calculabilite

lingi1341-projet2-scripts

Scripts créés dans le cadre du projet 2 (analyse de sites web) du cours LINGI1341

lingi2142-1

The set of scripts to provision VMs, build a virtual exchange point and run virtual campus networks on VM for the course LINGI2142.

picoquic

Minimal implementation of the QUIC protocol

quic-formalverification

quic-ivy

quic-ivy-1.7

IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the aut

shadow

Shadow is a discrete-event network simulator that directly executes real application code, enabling you to simulate distributed systems with thousands of network-connected processes in realistic and scalable private network experiments using your laptop, desktop, or server running Linux.

spms

Prototype implementation of the Plugin Distribution System (PDS) [Formerly called Secure Plugin Management System (SPMS)]

ssh-container

xbgp_plugins-1