bend-keccak
bend-keccak is bend-keccak256 (500-951x faster than lean engine keccak (lean4 C backend built with -O3) ). It is ranked #6288 on the Dev Radar, in Languages & runtimes, first seen 45 days ago and shared in 1 post (2.3k views).
What bend-keccak says about itself
Pure stock-Bend Ethereum Keccak-256 with packed arrays, public sponge refinement proofs, and C/Lean benchmarks - Giulio2002/bend-keccak
GitHub - Giulio2002/bend-keccak: Pure stock-Bend Ethereum Keccak-256 with packed arrays, public sponge refinement proofs, and C/Lean benchmarks · 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-keccak Public Notifications You must be signed in to change notification settings Fork 1 Star 1 main Branches Tags Go…
Alternatives to bend-keccak
- djs — Contribute to earendil-works/djs development by creating an account on GitHub.
- Learn Node.js — Node.js advisory
- Course on CUDA Programming — Course on CUDA Programming
- odin — A complete rewrite of parametric polymorphism onto a pure substitution engine (subst_unify -> subst_apply ->…
- dquickts — QuickJS with durable execution: suspend running JS, snapshot the whole heap, resume it in another process. Native…
- godraw — infinite canvas in mygo. Contribute to egoist/godraw development by creating an account on GitHub.
bend-keccak in numbers
- Rank on the Dev Radar: #6288 of 9299
- Shared in 1 post by 1 account: @GiulioRebuffo
- 2.3k views on those posts
- First seen 45 days ago, last shared 45 days ago
- Pricing seen by AGK Intelligence: open source
- Market: Languages & runtimes
FAQ
What is bend-keccak?
bend-keccak256 (500-951x faster than lean engine keccak (lean4 C backend built with -O3) ) It was first shared on X 45 days ago and is ranked #6288 on the Dev Radar.
Is bend-keccak free?
It is open source.
Who shared bend-keccak?
1 account on X, including @GiulioRebuffo, in 1 post totalling 2.3k 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 21:36 UTC. Full method.