correctness

There are 17 repositories under correctness topic.

  • codee-com/open-catalog

    A collaborative effort to consolidate expert knowledge on code guidelines for the correctness, modernization, and optimization of code written in C, C++, and Fortran programming languages

    Language:Fortran857810

  • pl3onasm/Programming-fundamentals

    Imperative programming

    Language:C14203
  • pointblank

    rich-iannone/pointblank

    Find out if your data is what you think it is

    Language:Python132142

  • ernius/mergesort

    Merge sort correctness proof

    Language:Agda11300

  • ligurio/molly

    Framework for distributed system's verification, with fault injection.

    Language:Lua11342

  • tudasc/MPI-Corrbench

    A benchmark suite to evaluate MPI correctness tools.

    Language:C9324

  • asatarin/testing-sql-databases

    Curated list of materials on testing SQL database engines

    60

  • ElNiak/Toward-verification-of-QUIC-extensions

    Formal methods play an important role in validating networking protocols. During the development of TLS 1.3, formal methods have helped to identify several issues with draft versions of the protocol that have been fixed before finalising the protocol. In the transport layer, the QUIC protocol has been proposed to replace the HTTP/TLS/TCP stack. This protocol is being finalised within the IETF and deployed by Google, Cloudlfare, Facebook and many others.

    5202

  • resonatehq/durable-promise-test-harness

    This test harness is a verification system that checks implementations for conformance to the Durable Promise Specification.

    Language:Go44101

  • pqnelson/ml

    A Study in Implementing Functional Programming Languages

    Language:C2300

  • sgrprmnk/Swiggy

    Design a class structure for a UNO game that allows multiple players to participate. The game should support the standard rules of UNO, including drawing cards, playing cards, skipping turns, reversing the direction of play, and declaring a winner

    Language:Java2100

  • klassen-software-solutions/gocontract

    GO tools to assist with "programming by contract"

    Language:Go0210

  • topicland/TopicLand

    Human-verified knowledge graphs with AI.

    Language:Vue0171

  • Variable-Value/TrueJ

    TrueJ is a Java-like language that uses the Variable-Value approach to increase a programmer's understanding and confidence in their programs

    Language:Java0200

  • abcdjdj/proof_correctness

    A collection of proofs of correctness for various algorithms in LaTeX

    Language:TeX20

  • aqjune/twinsem

    Language:Coq20

  • klassen-software-solutions/ksscontract

    C++ tools to assist with "programming by contract"

    Language:C++25