Search

Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh

A Proof-oriented Programming Language

Open-source spec CLI: the spec, tasks and proof of done live in git, so any AI coding agent (Claude Code, Codex, Cursor, Copilot) can pick up where another stopped. Powers SpecWithCode: specwithcode.com

A Low Barrier Proof Assistant

TJ's Desk — portfolio, notes, and the docs home for the BREAD stack (batch · grain · mill · proof · crumb)

Advisories, proof of concept files and exploits that have been made public by @pedrib.

Tree Proof Generator

Composable and future-proof network addresses

The formal proof of the Kepler conjecture

Proof assistant based on the λΠ-calculus modulo rewriting

🍬 Code samples from the nanoFramework team used in testing, proof of concepts and other explorational endeavours

Go implementation of Ethereum proof of stake

Compile-time reflection API for developing robust procedural macros (proof of concept)

Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols.

Ruby's bikeshed-proof linter and formatter 🚲

The Efficient Blockchain Powered By Proof Of Stake Voting Consensus

The proof systems used by Mina

Flow is a Layer 1 proof-of-stake blockchain built for consumer applications, AI Agents, and DeFi at scale. Repo hub for the Flow network

This project hosts security advisories and their accompanying proof-of-concepts related to research conducted at Google which impact non-Google owned code.

The widget and docs for the proof of work challenge used in Friendly Captcha. Protect your websites and online services from spam and abuse with Friendly Captcha, a privacy-first anti-bot solution.

Interchain Security is an open sourced IBC application which allows cosmos blockchains to lease their proof-of-stake security to one another.

一个漏洞 PoC 知识库。A knowledge base for vulnerability PoCs(Proof of Concept), with 1k+ vulnerabilities.

Zero-knowledge proof acceleration with GPUs for C++ and Rust

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

zkVerify is a highly performant, secure, and decentralized Substrate-based blockchain for zero-knowledge (ZK) proof verification, that substantially lowers the costs of verification and extends the range of possibilities within Web3 to use different cryptographic primitives and systems.

This repository contains sample code demonstrating various use cases leveraging Amazon Bedrock and Generative AI. Each sample is a separate project with its own directory, and includes a basic Streamlit frontend to help users quickly set up a proof of concept.

Search public CVE proof-of-concept exploits from GitHub, Nuclei, ExploitDB, Metasploit and Vulhub, with CVSS, EPSS and CISA KEV context.

Proof-of-origin token provider plugin for yt-dlp

Metroflip is a multi-protocol metro card reader app for the Flipper Zero, inspired by the Metrodroid project. It enables the parsing and analysis of metro cards from transit systems around the world, providing a proof-of-concept for exploring transit card data in a portable format.