A blockchain consensus protocol fuzzing framework

The BToolkit, a toolkit supporting software development with the B-method.

Liquid Types For Haskell

Agda parser for VNNLIB

Mutation-guided mutation-based fuzz testing

CLFuzz is a generation-based fuzzer on cryptographic algorithms.

Property-based testing for web UIs, autonomously exploring and validating correctness properties, finding harder bugs earlier

Autonomous AI development loop for Claude Code with intelligent exit detection

Implementation of a differential fuzzer for Ethereum Virtual Machines

Main source code repository of the Tamarin prover for security protocol verification.

Ethereum Protocol Security Review Assistant

Public code for the course AFP (Advanced Functional Programming, Chalmers TDA342)

The Lean Computer Science Library (CSLib)

Ethereum Proof-of-Stake Consensus Specifications

Kaitai Struct: runtime for Rust

Adaptive fuzzing of Hypothesis tests

Kaitai Struct: library of binary file formats (.ksy)

FormatFuzzer is a framework for high-efficiency, high-quality generation and parsing of binary inputs.

SMT-based reasoning core for Lean4

A Lean tactic for Canonical, a search procedure for terms in dependent type theory.

Claude skills for Lean 4 theorem proving

A comparison of operating systems written in Rust

Equational laws for free

Curated list of resources on testing distributed systems

Distributed Protocol Combinators

Core library of new GPipe, encapsulating OpenGl and providing a type safe minimal library