Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

https://github.com/mtoohey31/go-evercrypt

cryptography formal-methods formal-verification go golang hack-star hacl high-performance security verification verified-primitives

Last synced: 22 days ago
JSON representation

A Go wrapper for EverCrypt.

Host: GitHub
URL: https://github.com/mtoohey31/go-evercrypt
Owner: mtoohey31
License: bsd-3-clause
Created: 2024-10-24T00:40:42.000Z (25 days ago)
Default Branch: main
Last Pushed: 2024-10-24T02:58:35.000Z (25 days ago)
Last Synced: 2024-10-24T16:09:26.709Z (24 days ago)
Topics: cryptography, formal-methods, formal-verification, go, golang, hack-star, hacl, high-performance, security, verification, verified-primitives
Language: Go
Homepage:
Size: 38.1 KB
Stars: 0
Watchers: 1
Forks: 0
Open Issues: 0