Johannes's repositories
FStar
A Proof-oriented Programming Language
Language:F*Apache-2.0000
fstar-vscode-assistant
An interactive mode for F* in VS Code
Language:TypeScriptNOASSERTION000
karamel
KaRaMeL is a tool for extracting low-level F* programs to readable C code
Language:OCamlApache-2.0000
Nano-P4
Nano P4 is a formalisation effort of P4_16 using the Isabelle/HOL proof assistant.
Language:Isabelle000
segment
The code and other things used in the writing of a bachelor's thesis on Segment Routing.
Language:Python000
SVF
Static Value-Flow Analysis Framework for Source Code
Language:C++NOASSERTION000
SVF-example
An external project example using SVF as a library
Language:C++000