Giters
Cryspen (cryspen)

Cryspen

cryspen

Geek Repo

High Assurance Cryptography

Home Page:https://www.cryspen.com

Twitter:@CryspenHQ

Github PK Tool:Github PK Tool

Cryspen's repositories

bertie

Bertie TLS 1.3 Implementation

Language:F*License:Apache-2.0Stargazers:111Issues:11Issues:51

libcrux

The formally verified crypto library for Rust

Language:CLicense:Apache-2.0Stargazers:45Issues:10Issues:98

hacl-packages

The Cryspen HACL Distribution

Language:CLicense:NOASSERTIONStargazers:13Issues:9Issues:189

hpke-spec

Annotated HPKE specification in hacspec

Language:RustStargazers:3Issues:6Issues:2

atlas

BMBF ATLAS project

Language:RustStargazers:2Issues:6Issues:42

hacl-star

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

Language:F*License:Apache-2.0Stargazers:1Issues:2Issues:3

.github

Stargazers:0Issues:4Issues:0

blog

Cryspen Blog

Language:HTMLStargazers:0Issues:6Issues:0

Concordium-Free-Open-Grants-Program

Concordium Free & Open Grants Program aims to power innovative opensource applications in the Concordium Ecosystem.

License:Apache-2.0Stargazers:0Issues:2Issues:0

cryspen.github.io

Language:HTMLStargazers:0Issues:0Issues:0

dfinity-mini-ledger

A simple ICRC-1 Rust ledger

Language:RustStargazers:0Issues:2Issues:0

FStar

A Proof-oriented Programming Language

Language:F*License:Apache-2.0Stargazers:0Issues:2Issues:0

hacl-star-benchmarks

Language:CStargazers:0Issues:2Issues:0

nss

Read only mirror of https://hg.mozilla.org/projects/nss

Language:CLicense:NOASSERTIONStargazers:0Issues:2Issues:0

utils

A mono repo for utilities that are used across different places

Language:RustStargazers:0Issues:0Issues:0

boringssl

Mirror of BoringSSL

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

dfinity-lob

Language:RustLicense:Apache-2.0Stargazers:0Issues:2Issues:0

libxmtp

License:MITStargazers:0Issues:0Issues:0

rust-core-spec

Language:RustStargazers:0Issues:8Issues:0