Pinned Loading

1. SRI-CSL/evocrypt SRI-CSL/evocrypt Public

   EVOCrypt: EasyCrypt Verified OCaml Cryptographic Library

   eC 6 1

2. SRI-CSL/zk-gen SRI-CSL/zk-gen Public

   zk-gen: an OCaml platform for zero knowledge computations

   OCaml

3. SRI-CSL/high-assurance-crypto SRI-CSL/high-assurance-crypto Public

   This repository contains software for projects focusing on computer-aided verification of (distributed) cryptographic protocols and algorithms.

   eC 12 2

4. SRI-CSL/cococrypt SRI-CSL/cococrypt Public

   EasyCrypt code extraction tool

   OCaml

5. SRI-CSL/wiztoolkit-ocaml-bindings SRI-CSL/wiztoolkit-ocaml-bindings Public

   OCaml bindings for the Wiztoolkit toolset

   C++

6. SRI-CSL/ALICE SRI-CSL/ALICE Public

   Python 5 3