dafny-lang / dafnyLinks
Dafny is a verification-aware programming language
☆3,159Updated this week
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,899Updated this week
- The P programming language.☆3,434Updated this week
- The CompCert formally-verified C compiler☆2,029Updated 2 weeks ago
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆829Updated last year
- Koka language compiler and interpreter☆3,657Updated this week
- Programming Languages Zoo☆1,521Updated last year
- Lean Theorem Prover☆2,154Updated last year
- CakeML: A Verified Implementation of ML☆1,079Updated this week
- Boogie☆555Updated this week
- A safe, easy systems language☆2,124Updated 2 months ago
- 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…☆785Updated 3 months ago
- Proving leftpad correct two-dozen different ways☆694Updated 5 months ago
- Systems language with linear types and capability-based security.☆1,388Updated last month
- The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, ex…☆5,216Updated this week
- A data-parallel functional programming language☆2,586Updated this week
- The Flix Programming Language☆2,477Updated this week
- A modern proof language☆3,699Updated 8 months ago
- cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.☆1,184Updated this week
- The Rosette solver-aided host language, sample solver-aided DSLs, and demos☆668Updated last month
- A purely functional programming language with first class types☆2,740Updated this week
- Functional language with intensional polymorphism and first-class staging.☆939Updated 3 months ago
- Irmin is a distributed database that follows the same design principles as Git☆1,897Updated this week
- The Pyret language.☆1,109Updated 2 weeks ago
- egg is a flexible, high-performance e-graph library☆1,568Updated 3 weeks ago
- A modern Prolog implementation written mostly in Rust.☆2,283Updated this week
- The Mercury logic programming system.☆966Updated this week
- Implementations of various type systems in OCaml.☆1,587Updated 10 years ago
- A collection of resources for learning type theory and type theory adjacent fields.☆2,350Updated 5 months ago
- Agda is a dependently typed programming language / interactive theorem prover.☆2,712Updated this week
- Hazel, a live functional programming environment with typed holes☆1,035Updated this week