Stars
VSCode Remote Development: Open any folder on a remote machine using SSH.
A terminal workspace with batteries included
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
Lean 4 theorem proving skill and workflow pack for AI coding agents
Nix Flake for Claude Desktop on Linux
This repository includes a specification for SHRINCS signature
Total Parser Combinators in Coq [maintainer=@womeier]
Collection of cryptographic hash functions written in pure Rust
Make your zero-knowledge circuits safe with formal verification! 🍀
Pure-Rust traits and utilities for constant-time cryptographic implementations.
Rust's extended standard library: simplicity, performance and supply chain security for everyone.
A work-in-progress language and compiler for verified low-level programming
A Library for Representing Recursive and Impure Programs in Coq
A foundational framework for modular cryptographic proofs in Coq
Python API for lightweight communication with the Rocq proof assistant
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
A simple tool for visually comparing two PDF files
SécurixOS is a NixOS-based secure operating system tailored for small to medium-sized teams. It provides a minimal, hardened environment with strong isolation, reproducibility, and policy-driven co…
Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.