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

3. fstar-vscode-assistant fstar-vscode-assistant Public

   Forked from FStarLang/fstar-vscode-assistant

   An interactive mode for F* in VS Code

   TypeScript

4. FStar FStar Public

   Forked from FStarLang/FStar

   A Proof-oriented Programming Language

   F*

5. karamel karamel Public

   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++