A Rust client for Cryptol's remote-api

Software model checking with uninterpreted functions abstraction

A caching mechanism for SAT and SMT queries.

Kani Rust Verifier

The purpose of the course is to teach students how to program in Cryptol, a domain specific language for cryptography.

Multi-platform binary creation for solvers of the versions most suitable for use with What4

A template for SAW verification of LLVM

C-based shallow embedding of Ghidra's P-code symbolic execution

A youth <-> worksite matching program for MOED (https://youthworks.oedworks.com)

ABC: System for Sequential Logic Synthesis and Formal Verification

Java client for remote-cryptol-api

SAW verification demonstrations

SBSAT SAT Solver

A central repository for specifications of cryptographic algorithms in Cryptol

A Cryptol major mode for Emacs.

Crucible is a library for symbolic simulation of imperative programs

A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW

An efficient minimal perfect hash function generator for small sets

A client for Cryptol as a service

A library for building efficient set-membership filters and dictionaries based on the Satisfiability problem.

A minimal but powerful thread pool in ANSI C

A minimal perfect hash function generator that uses weighted bipartite perfect matching and XORSAT dictionaries.

A research platform and active library for generalised SAT solving

The Satisfiability Museum

C re-implementation of James Payor's C++ solver for weighted bipartite graph matching

A C simple bitvector library

Cube-and-Conquer SAT solver

The PCode Symbolic Simulator, part of SAW.