Pinned Loading

1. mlswg/mls-architecture mlswg/mls-architecture Public

   MLS architecture

   Makefile 75 31

2. hacl-star/hacl-star hacl-star/hacl-star Public

   HACL*, a formally verified cryptographic library written in F*

   F* 1.8k 193

3. mlswg/mls-protocol mlswg/mls-protocol Public

   MLS protocol

   Python 242 60

4. tlswg/tls13-spec tlswg/tls13-spec Public

   TLS 1.3 Specification

   Python 579 166

5. FStarLang/FStar FStarLang/FStar Public

   A Proof-oriented Programming Language

   F* 3.1k 262

6. FStarLang/karamel FStarLang/karamel Public

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

   OCaml 518 73