Nicolas Rybowski's repositories
isis-parser
Parser for the IS-IS protocol, written in pure rust
pquic-formal-model
Formal verification of the side-effects property on PQUIC plugins by using SeaHorn
alpine-chroot-install
Install Alpine Linux in chroot with a breeze. Build ARM on Travis CI or any other x86_64 CI.
awesome-selfhosted-data
machine-readable data for https://awesome-selfhosted.net
DUNE
Distributed Micro Network Emulation (DµNE)
holo
Holo is a suite of routing protocols designed to support high-scale and automation-driven networks.
ICTV
ICTV is a simple content management system for digital signage on multiple screens.
ICTV-plugins
Plugins for ICTV, a simple content management system for digital signage on multiple screens
INGInious
INGInious is a secure and automated exercises assessment platform using your own tests, also providing a pluggable interface with your existing LMS.
INGInious-containers
Additional containers for INGInious. INGInious is a free and open-source platform for secure and automated code assessment.
linfo1341
Online exercises hosted on the inginious.org code grading platform
lingi1341-projet2-scripts
Scripts créés dans le cadre du projet 2 (analyse de sites web) du cours LINGI1341
lingi2401
Lingi2401 - Open Source strategy for software development
LINGI2402-website
This website summarizes the contributions made for the QLOG project.
linux-libos-tools
userspace tools for linux libos
LSINF2345_20-21_Project
The project of the MSc course "Languages and Algorithms for Distributed Applications" @ UCLouvain, Belgium (scholar year 2020-2021).
mptcp_net-next
Ongoing work to make MPTCP upstreamable
net-next-nuse
Network Stack in Userspace
ofiquic-artefacts
Artefacts of the paper "oFIQUIC: Leveraging QUIC in OSPF for seamless network topology changes" presented at IFIP Networking'24
presentation-infrastructure
Presentation of the student infrastructure at @UCL-INGI in french
quicSim-docker
Collection of docker containers for QUIC clients/servers for testing