dafny-lang / dafnyLinks
Dafny is a verification-aware programming language
☆3,258Updated 3 weeks ago
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,944Updated 3 weeks ago
- The P programming language.☆3,535Updated 2 weeks ago
- The CompCert formally-verified C compiler☆2,097Updated last week
- Koka language compiler and interpreter☆3,775Updated 2 weeks ago
- A modern proof language☆3,720Updated 11 months ago
- CakeML: A Verified Implementation of ML☆1,103Updated this week
- Boogie☆562Updated 2 weeks ago
- A data-parallel functional programming language☆2,641Updated last week
- cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.☆1,242Updated last week
- Programming Languages Zoo☆1,573Updated last year
- A modern Prolog implementation written mostly in Rust.☆2,344Updated last week
- The Flix Programming Language☆2,566Updated last week
- A safe, easy systems language☆2,182Updated last week
- Maintainable configuration files☆4,404Updated last month
- Systems language with linear types and capability-based security.☆1,437Updated 5 months ago
- Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program f…☆1,034Updated 3 weeks ago
- Agda is a dependently typed programming language / interactive theorem prover.☆2,768Updated this week
- The Rosette solver-aided host language, sample solver-aided DSLs, and demos☆680Updated last month
- Lean Theorem Prover☆2,154Updated 2 years ago
- C-Reduce, a C and C++ program reducer☆1,632Updated last year
- 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…☆807Updated 6 months ago
- A purely functional programming language with first class types☆2,818Updated 3 weeks ago
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆831Updated last year
- A superoptimizer for LLVM IR☆2,312Updated last year
- Functional language with intensional polymorphism and first-class staging.☆942Updated last month
- Hazel, a live functional programming environment with typed holes☆1,064Updated this week
- Programming language for literate programming law specification☆2,192Updated this week
- The Mercury logic programming system.☆979Updated this week
- Proving leftpad correct two-dozen different ways☆713Updated 8 months ago
- egg is a flexible, high-performance e-graph library☆1,640Updated last month