Login to save and revisit previous chats!

Repository navigation

趋势
排行榜

#

verified-primitives

Website
Wikipedia

hacl-star / hacl-star

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

Cryptography verified-primitives high-performance 安全 formal-methods formal-verification inria hacl everest verification

F*

1720

177

13 小时前

aatxe / hacl-rs

Rusty bindings for HACL*, a formally verified cryptographic library written in F*.

Cryptography verified-primitives 安全

Rust

2

1

7 年前

Rijon-Khan / Rijon-Khan

social-network Facebook facebook-messenger-bot facebook-messenger facebook-sdk facebook-login Instagram Windows verification verify verified-primitives Google Google 地图 google-analytics google-api Google 云 YouTube

1

0

8 年前

mtoohey31 / go-evercrypt

A Go wrapper for EverCrypt.

Cryptography formal-methods formal-verification Go hacl high-performance 安全 verification verified-primitives

Go

0

0

6 个月前