Popular repositories Loading

1. language-proverif language-proverif Public

   Syntax support for the automatic prover ProVerif

   5 2

2. APTE APTE Public

   Forked from APTE/APTE

   Algorithm for Proving Trace Equivalence

   OCaml 1

3. SignalDoubleRatchetVerif SignalDoubleRatchetVerif Public

   Automated formal analysis of Signal’s Double Ratchet

   HTML 1

4. cayman cayman Public

   Forked from pages-themes/cayman

   Cayman is a Jekyll theme for GitHub Pages

   CSS

5. syntax-highlighter syntax-highlighter Public

   Forked from EvgeniyPeshkov/syntax-highlighter

   Syntax Highlighter extension for Visual Studio Code (VSCode). Based on Tree-sitter.

   TypeScript

6. proverif-vscode proverif-vscode Public

   Forked from georgio/proverif-vscode