Johannes Blaser Johanmyst

Popular repositories Loading

1. segment segment Public archive

   The code and other things used in the writing of a bachelor's thesis on Segment Routing.

   Python

2. Nano-P4 Nano-P4 Public archive

   Nano P4 is a formalisation effort of P4_16 using the Isabelle/HOL proof assistant.

   Isabelle

5. Forked from FStarLang/karamel

   KaRaMeL is a tool for extracting low-level F* programs to readable C code

   OCaml

6. SVF SVF Public

   Forked from SVF-tools/SVF

   Static Value-Flow Analysis Framework for Source Code

   C++