Sealbook / Open source / Programming languages & runtimes

dafny-lang/dafny

Dafny is a verification-aware programming language

programming-languageverification

GitHub ↗Website ↗

License & maintenance

Custom or modified license that GitHub does not recognise: read the LICENSE file in the repository before using it in a product.

Last code push 29 days ago.

Similar projects

	Repository	Stars	Language	License	Activity
1	leanprover/lean3Lean Theorem Prover	★ 2.2k	C++	Apache-2.0	Archived
2	golang/goThe Go programming language	★ 139.3k	Go	BSD-3-Clause	Active
3	argotorg/soliditySolidity, the Smart Contract Programming Language	★ 25.8k	C++	GPL-3.0	Active
4	ruby/rubyThe Ruby Programming Language	★ 23.8k	Ruby	Other	Active
5	bendlang/bendBend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh \| sh	★ 23.8k	TypeScript	Apache-2.0	Active
6	AlDanial/cloccloc counts blank lines, comment lines, and physical lines of source code in many programming languages.	★ 23.6k	Perl	GPL-2.0	Active
7	wenyan-lang/wenyan文言文編程語言 A programming language for the ancient Chinese.	★ 20.3k	TypeScript	MIT	Stale
8	reasonml/reasonSimple, fast & type safe code that leverages the JavaScript & OCaml ecosystems	★ 10.3k	OCaml	MIT	Active