bendlang/bend

Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh

bendcudadependent-typesgpumetalparallelprogramming-languageprooftheorem-proving

License & maintenance

Apache-2.0 is a permissive license: free to use commercially with attribution.

Last code push 3 days ago.

	Repository	Stars	Language	License	Activity
1	leanprover/lean3Lean Theorem Prover	★ 2.2k	C++	Apache-2.0	Archived
2	NVIDIA/cuda-rustNVIDIA's CUDA platform for Rust. Host runtime crates plus Tile (cutile-rs) and SIMT (cuda-oxide) kernel programming models in idiomatic Rust	★ 3.7k	Rust	Apache-2.0	Active
3	FStarLang/FStarA Proof-oriented Programming Language	★ 3.1k	F*	Apache-2.0	Active
4	agda/agdaAgda is a dependently typed programming language / interactive theorem prover.	★ 2.9k	Haskell	Other	Active
5	golang/goThe Go programming language	★ 139.3k	Go	BSD-3-Clause	Active
6	argotorg/soliditySolidity, the Smart Contract Programming Language	★ 25.8k	C++	GPL-3.0	Active
7	ruby/rubyThe Ruby Programming Language	★ 23.8k	Ruby	Other	Active
8	AlDanial/cloccloc counts blank lines, comment lines, and physical lines of source code in many programming languages.	★ 23.6k	Perl	GPL-2.0	Active