project-everest/MLCrypto project-everest/MLCrypto

  • Stars
    star
    10
  • Rank 1,747,832 (Top 36 %)
  • Language
    OCaml
  • Created over 6 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
project-everest/MLCrypto
github

project-everest

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

OCaml adapters for crypto providers used in Everest

More Repositories

1

vale

Verified Assembly Language for Everest
F#
250
star
2

everparse

Automated generation of provably secure, zero-copy parsers from format specifications
F*
225
star
3

everest

Shell
191
star
4

mitls-fstar

Verified implementation of TLS 1.3 in F*
F*
172
star
5

QUIC-FStar

An implementation of the IETF QUIC protocol in F*
F*
17
star
6

project-everest.github.io

Landing page for Project Everest
HTML
12
star
7

everquic-crypto

Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.
F*
10
star
8

ethereum-star

F* proofs of Ethereum
Solidity
6
star
9

everest-ci

CI scripts for project everest
Shell
3
star
10

everest-dist

Distribution files of Project Everest
C
1
star