WhimReadbrowse at whim

Discover All tools Picks Surprise About

hacl-star

hacl-star/hacl-star

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

hacl-starRepository author

Stars: 1.8k
Since last check: +1
Added: 2026-08-26

Topics

cryptography
verified-primitives
high-performance
security
formal-methods
formal-verification
inria
hacl

Related projects

x64dbg49.6kAn open-source binary debugger for Windows focused on malware analysis and reverse engineering.
mitmproxy45.1kAn interactive TLS-capable intercepting HTTP proxy for penetration testers and software developers.
hyperswitch43.7k
trivy38kFind vulnerabilities, misconfigurations, secrets, SBOM in containers, Kubernetes, code repositories, clouds and more

← Previousjasna Next →SchemaCrawler

WhimReadAll projects Picks About RSS PrivacyJim Gadget on WeChat© 2026