bend-sha256
bend-sha256 is SHA-256 in Bend with a machine-checked functional correctness proof against a separate FIPS 180-4 specification. - Giulio2002/bend-sha256. It is ranked #6261 on the Dev Radar, in Security, first seen 47 days ago and shared in 6 posts (98.7k views).
GitHub - Giulio2002/bend-sha256: SHA-256 in Bend with a machine-checked functional correctness proof against a separate FIPS 180-4 specification. · GitHub Skip to content Navigation Menu Sign in Appearance settings Search / Sign in Sign up Appearance settings You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert {{ message }} Giulio2002 / bend-sha256 Public Notifications You must be signed in to change notification settings Fork 1 Star 20 main Branches Tags…
Alternatives to bend-sha256
- Vercel — Vercel Security Review is now in public beta. Every push to your GitHub repositories is reviewed for vulnerabilities,…
- Pareto Credit Bug Bounty — Start hunting
- security-audit-skill — I highly recommend cloudflare's security audit skill
- Boundless — Apply for access
- cve.now — puts the ones that need action in one free feed, and your coding agent can check them for you.
- OpenClaw — There’s more in the full notes
bend-sha256 in numbers
- Rank on the Dev Radar: #6261 of 9293
- Shared in 6 posts by 1 account: @GiulioRebuffo
- 98.7k views on those posts
- First seen 47 days ago, last shared 45 days ago
- Pricing seen by AGK Intelligence: open source
- Market: Security
FAQ
What is bend-sha256?
SHA-256 in Bend with a machine-checked functional correctness proof against a separate FIPS 180-4 specification. - Giulio2002/bend-sha256 It was first shared on X 47 days ago and is ranked #6261 on the Dev Radar.
Is bend-sha256 free?
It is open source.
Who shared bend-sha256?
1 account on X, including @GiulioRebuffo, in 6 posts totalling 98.7k views.
Every post is read and classified by AGK Intelligence: what it is, which market it belongs to, and whether the link is a real tool. 31.4k posts from 5k X accounts over the last 21 days, 9.3k tools, 12 markets. New posts are collected several times an hour and the full ranking is recomputed every hour — last update 2026-11-04 20:09 UTC. Full method.