Statum helps make undesirable state impossible to represent in code, at compile time

Agent skills to find and fix software bugs

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

Reliable and Efficient Semantic Prompt Caching with vCache

The opinionated high performance professional-grade AI package for Go

Exercises and exam solutions for programming in C and Dafny (1st-year CS course)

Merge sort correctness proof

A benchmark suite to evaluate MPI correctness tools.

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

Curated list of materials on testing SQL database engines

Correctness proofs from the code you already wrote: lift vendor-tested assertions to pinned FOL, verify with a warrant cited next to every line. match(Sugar) { Some(s) => cite_or_effect(s), None => panic!() }

Proven engineering practices and staff-level review judgment for coding agents.

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

open source speculation benchmarking for 2 phase protocol transactions

Crash-safe distributed job execution with fencing tokens, lease recovery and deterministic failure validation.

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

KayaDB distributed key-value storage engine

Deterministic replay and distributed incident forensics for first-failure and blast-radius analysis.

💳 Build a robust backend for reliable payment processing that ensures correctness, handles failures, and maintains idempotency across transactions.

A Study in Implementing Functional Programming Languages