dafny

Similar projects

Found by comparing what the projects do, not just their names.

• dapperlib/dapper17.6K

  Data accessor

  An object mapper for .Net that simplifies data access to databases using ADO.NET connections.

• verifytests/diffengine196

  Diff tool manager

  Manages the launch and cleanup of diff tools for testing and debugging.

• yosyshq/sby413

  Verification tool

  A front-end driver program for Yosys-based formal hardware verification flows

• smithy-lang/smithy-dafny10

  API generator

  Tools for generating Dafny APIs and client code for AWS services and libraries in multiple languages

• joxeankoret/diaphora3.7K

  Diff analyzer

  A diffing tool for reverse engineering and analysis of binary files

• verifytests/verify.diffplex10

  Diff verifier

  A tool for comparing and verifying the differences between two text files using a diffplex algorithm.

• facebook/pyre-check6.9K

  Python checker

  Type-checking software for Python code

• dapphub/dapptools2.1K

  Ethereum toolset

  A suite of tools for building, testing, and deploying Ethereum smart contracts and related tools

• dapphub/k-dss45

  Contract verification tool

  Formal specification and verification of a specific smart contract function.

• davidfritzsche/pytest-mypy-testing31

  Type checker verification

  A tool to verify mypy's static type analysis output

• dotnet/roslyn-analyzers1.6K

  Code analyzer

  Analyzes .NET code for style, quality and maintainability issues

• dotnet/roslyn-sdk517

  Code analyzer

  Provides APIs and tools to analyze and inspect .NET code using the Roslyn compiler platform

• tofgarion/spark-by-example154

  Formal verification adapter

  An adaptation of ACSL by Example for SPARK 2014 to verify Ada programs with formal methods

• stepchowfun/proofs292

  Formal math proofs

  A personal repository of formally verified mathematics using the Coq proof assistant

• formal-land/coq-of-python30

  Coq verifier

  Formal verification of Python code using Coq