dafny-lang/dafny
Dafny is a verification-aware programming language
Licencia y mantenimiento
Licencia propia o modificada que GitHub no reconoce: lee el archivo LICENSE del repositorio antes de usarlo en un producto.
Último cambio de código hace 29 días.
Proyectos similares
| Repositorio | Estrellas | Actividad | |
|---|---|---|---|
| 1 |  leanprover/lean3Lean Theorem Prover | ★ 2.2k | Archivado |
| 2 |  golang/goThe Go programming language | ★ 139.3k | Activo |
| 3 |  argotorg/soliditySolidity, the Smart Contract Programming Language | ★ 25.8k | Activo |
| 4 |  ruby/rubyThe Ruby Programming Language | ★ 23.8k | Activo |
| 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 | Activo |
| 6 |  AlDanial/cloccloc counts blank lines, comment lines, and physical lines of source code in many programming languages. | ★ 23.6k | Activo |
| 7 |  wenyan-lang/wenyan文言文編程語言 A programming language for the ancient Chinese. | ★ 20.3k | Sin cambios |
| 8 |  reasonml/reasonSimple, fast & type safe code that leverages the JavaScript & OCaml ecosystems | ★ 10.3k | Activo |