nrybowski
Ph.D. student @uclouvain. Interested in Intra-domain Routing Protocols, Distributed Systems, and Embedded Systems. Maintainer of INGInious.
@UCL-INGIBelgium
nrybowski's Stars
christoomey/vim-tmux-navigator
Seamless navigation between tmux panes and vim splits
obonaventure/mptcp-doc
Documentation on Multipath TCP and its socket API
moklick/frontend-stuff
📝 A continuously expanded list of frameworks, libraries and tools I used/want to use for building things on the web. Mostly JavaScript.
UCL-INGI/LSINF1252
Zashas/CTester
coq/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
usableprivacy/upribox
Usable Privacy Box
dnsviz/dnsviz