This Open Catalog is a collaborative effort to consolidate expert knowledge on best practices for modernizing and optimizing code written in C, C++, and Fortran programming languages.

Imperative programming

Merge sort correctness proof

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

A benchmark suite to evaluate MPI correctness tools.

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

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. …

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

A Study in Implementing Functional Programming Languages

A collection of proofs of correctness for various algorithms in LaTeX

Human-verified knowledge graphs with AI.

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

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

GO tools to assist with "programming by contract"