dafny-lang / dafnyLinks
Dafny is a verification-aware programming language
☆3,106Updated 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,860Updated this week
- The CompCert formally-verified C compiler☆1,995Updated 2 weeks ago
- The P programming language.☆3,383Updated this week
- Koka language compiler and interpreter☆3,540Updated this week
- The Flix Programming Language☆2,306Updated this week
- A data-parallel functional programming language☆2,536Updated this week
- A modern proof language☆3,681Updated 5 months ago
- CakeML: A Verified Implementation of ML☆1,060Updated this week
- Maintainable configuration files☆4,335Updated 2 months ago
- A purely functional programming language with first class types☆2,681Updated this week
- Hazel, a live functional programming environment with typed holes☆931Updated this week
- A statically typed concatenative systems programming language.☆1,122Updated 2 years ago
- Systems language with linear types and capability-based security.☆1,350Updated last month
- The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, ex…☆5,140Updated this week
- A safe, easy systems language☆2,074Updated last month
- Programming Languages Zoo☆1,503Updated last year
- Agda is a dependently typed programming language / interactive theorem prover.☆2,659Updated last week
- Proving leftpad correct two-dozen different ways☆677Updated 2 months ago
- A statically typed lisp, without a GC, for real-time applications.☆5,672Updated 7 months ago
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆824Updated last year
- A Dependently Typed Functional Programming Language☆3,457Updated 4 months ago
- A book about compiling Racket and Python to x86-64 assembly☆1,436Updated last month
- A superoptimizer for LLVM IR☆2,252Updated 10 months ago
- 🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C☆1,605Updated 3 years ago
- Boogie☆546Updated this week
- A programming language with static memory management based on λ-calculus☆1,004Updated this week
- A collection of resources for learning type theory and type theory adjacent fields.☆2,315Updated 2 months ago
- Factor programming language☆1,726Updated last week
- A friendly programming language from the future☆6,072Updated this week
- Functional language with intensional polymorphism and first-class staging.☆935Updated 3 weeks ago