hacl-star/hacl-star

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

cryptographyeverestformal-methodsformal-verificationhaclhigh-performanceinriasecurityverificationverified-primitives

Licencia y mantenimiento

Apache-2.0 es una licencia permisiva: uso comercial libre con atribución.

Último cambio de código hace 4 meses.

	Repositorio	Estrellas	Lenguaje	Licencia	Actividad
1	cryptomator/cryptomatorCryptomator for Windows, macOS, and Linux: Secure client-side encryption for your cloud storage, ensuring privacy and control over your data	★ 16.3k	Java	GPL-3.0	Activo
2	tink-crypto/tinkTink is a multi-language, cross-platform, open source library that provides cryptographic APIs that are secure, easy to use correctly, and h	★ 13.5k	Java	Apache-2.0	Archivado
3	monero-project/moneroMonero: the secure, private, untraceable cryptocurrency	★ 10.9k	C++	Other	Activo
4	mitmproxy/mitmproxyAn interactive TLS-capable intercepting HTTP proxy for penetration testers and software developers.	★ 45.7k	Python	MIT	Activo
5	lissy93/web-check🕵️‍♂️ All-in-one OSINT tool for analysing any website	★ 35.2k	TypeScript	MIT	Activo
6	OWASP/CheatSheetSeriesThe OWASP Cheat Sheet Series was created to provide a concise collection of high value information on specific application security topics.	★ 33.7k	JavaScript	CC-BY-SA-4.0	Activo
7	projectdiscovery/nucleiNuclei is a fast, customizable vulnerability scanner powered by the global security community and built on a simple YAML-based DSL, enabling	★ 32.1k	Go	MIT	Activo
8	imthenachoman/How-To-Secure-A-Linux-ServerAn evolving how-to guide for securing a Linux server.	★ 31.8k	—	CC-BY-SA-4.0	Activo