The Probabilistic Grid Reliability Analysis with Energy Storage Systems (ProGRESS) software is a Python-based open-source tool for assessing the resource adequacy of the evolving electric power gri…

A modern commutative diagram editor for the web.

Some fun examples of solving problems with symbolic execution

Remove spam from Ubuntu

container image to single executable compiler

The main codex repository

static analysis benchmarks from Toyota ITC

Command line interface for QBittorrent

Cerberus C semantics

The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)

A tray icon for controlling Razer Blade 16

SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.

TriCera: a model checker for C programs

🧠 Cognitive Load is what matters

Kalman Filter book using Jupyter Notebook. Focuses on building intuition and experience, not formal proofs. Includes Kalman filters,extended Kalman filters, unscented Kalman filters, particle filte…

Cubesat Space Protocol - A small network-layer delivery protocol designed for Cubesats

Valgrind with support for the RISCV64/Linux platform.

Parallel Dot Product, Verified in VST

A collection of tools for writing technical documents that mix Coq code and prose.

Creusot helps you prove your code is correct in an automated fashion.

VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations

Examples of how to create colorful, annotated equations in Latex using Tikz.

Samples for CUDA Developers which demonstrates features in CUDA Toolkit

Formally verified numerical integration of an ordinary differential equation

Evaluate the numerical accuracy of an application (mirror of the Gitlab main repo).