bend
Language that blocks AI mistakes via proof
- Category
- Homebrew formulae
brew install bend Official docs outline
bend-lang.comExtra Credit builds an outline of bend's docs the first time your work uses it. Until then, start at the official documentation.
More in Homebrew formulae
All 3,000- gcc@13 GNU compiler collection
- mmctl Remote CLI tool for Mattermost server
- video-compare Split screen video comparison tool using FFmpeg and SDL2
- pssh Parallel versions of OpenSSH and related tools
- gnome-latex LaTeX editor for the GNOME desktop
- msedit Simple text editor with clickable interface
- spidermonkey JavaScript-C Engine
- cryptominisat Advanced SAT solver
- pari Computer algebra system designed for fast computations in number theory
- kimi-cli CLI agent for MoonshotAI Kimi platform
- forgejo-cli CLI tool for interacting with Forgejo
- libfontenc X.Org: Font encoding library