dafny-lang / dafnyLinks
Dafny is a verification-aware programming language
☆3,280Updated last month
Alternatives and similar repositories for dafny
Users that are interested in dafny are comparing it to the libraries listed below
Sorting:
- A Proof-oriented Programming Language☆2,957Updated last week
- Koka language compiler and interpreter☆3,791Updated last month
- The P programming language.☆3,551Updated last week
- The CompCert formally-verified C compiler☆2,102Updated 3 weeks ago
- The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, ex…☆5,334Updated this week
- CakeML: A Verified Implementation of ML☆1,110Updated this week
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆832Updated last year
- A purely functional programming language with first class types☆2,843Updated 2 weeks ago
- Agda is a dependently typed programming language / interactive theorem prover.☆2,782Updated last week
- Boogie☆562Updated last week
- cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.☆1,251Updated last week
- A safe, easy systems language☆2,190Updated 2 weeks ago
- A data-parallel functional programming language☆2,661Updated this week
- Programming Languages Zoo☆1,577Updated last year
- Proving leftpad correct two-dozen different ways☆714Updated 9 months ago
- Lean Theorem Prover☆2,155Updated 2 years ago
- A modern proof language☆3,717Updated last year
- Hazel, a live functional programming environment with typed holes☆1,064Updated this week
- The Flix Programming Language☆2,577Updated this week
- TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.☆2,594Updated last week
- The Rosette solver-aided host language, sample solver-aided DSLs, and demos☆682Updated 2 months ago
- The Mercury logic programming system.☆980Updated this week
- Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from findin…☆810Updated 7 months ago
- Maintainable configuration files☆4,409Updated 3 weeks ago
- Systems language with linear types and capability-based security.☆1,445Updated 6 months ago
- A modern Prolog implementation written mostly in Rust.☆2,365Updated 2 weeks ago
- The Pyret language.☆1,118Updated 2 weeks ago
- MirageOS is a library operating system that constructs unikernels☆2,819Updated 2 months ago
- Irmin is a distributed database that follows the same design principles as Git☆1,919Updated 2 weeks ago
- A Dependently Typed Functional Programming Language☆3,472Updated 11 months ago