bend-build
bend-build is bend skill file I used to one-shot keccak256 formal program after all my learnings using the language with both opus and astra. It is ranked #450 on the Dev Radar, in Languages & runtimes, first seen 2 h ago and shared in 1 post (1k views).
What bend-build says about itself
Single-file guidelines for models building efficient, maintainable Bend software - Giulio2002/bend-build
bend-build/SKILL.md at main · Giulio2002/bend-build · 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-build Public Notifications You must be signed in to change notification settings Fork 0 Star 0 Files Expand file tree main / SKILL.md Copy path Blame More file actions Blame More file actions Latest commit…
What people said about bend-build on X
finished few releases/formally verified programs out of my software factory (I was able to make a skill to oneshot the bend-keccak implementation/formal proof within decent performance): bend-sha256: https://github.com/Giulio2002/bend-sha256/releases bend-keccak256 (500-951x faster than lean engine keccak (lean4 C…
— @GiulioRebuffo, 2 h ago · 42 likes · see the post
Alternatives to bend-build
- Probably — Introducing Probably: a programming language powered by Jev
- OpenJDK JDK 27 GA Release Builds — This article examines both
- Effect — Kit from Anomaly unleashed Astra on Effect. Dillon will never again start another TypeScript app without Effect. Matt…
- evm-bend — Correctness-first EVM interpreter in Bend targeting Amsterdam. Working interpreter; full conformance and proofs in…
- Cisco Networking Academy — Cisco Networking Academy
- node — it improves Node startup times by 0.8ms by seeding V8's random number generator from the OS instead of using OpenSSL
bend-build in numbers
- Rank on the Dev Radar: #450 of 1818
- Shared in 1 post by 1 account: @GiulioRebuffo
- 1k views on those posts
- First seen 2 h ago, last shared 2 h ago
- Pricing seen by Jev: open source
- Market: Languages & runtimes
FAQ
What is bend-build?
bend skill file I used to one-shot keccak256 formal program after all my learnings using the language with both opus and astra It was first shared on X 2 h ago and is ranked #450 on the Dev Radar.
Is bend-build free?
It is open source.
Who shared bend-build?
1 account on X, including @GiulioRebuffo, in 1 post totalling 1k views.
Every post is read and classified by Jev (TypeSafe): what it is, which market it belongs to, and whether the link is a real tool. 16.1k posts from 4.9k X accounts over the last 21 days, 1.8k tools, 12 markets. Collected every 5 minutes, fully re-ranked every hour — last update 2026-09-20 19:24 UTC. Full method.