All repos — GH Trending Explorer

LeanCIL is a Lean 4 formal verification framework for .NET programs. It enables machine-checked proofs of correctness and safety against compiled Common Intermediate Language (CIL), supporting applications written in C#, F#, and other .NET languages.

remnient / romulus

Lean 4 hypervisor memory ownership model with machine-checked isolation proofs

anarqz / ForzaInfinity-POC

Proof of concept for Online Multiplayer ecosystem on Forza Horizon 2

AeneasVerif / aeneas

A verification toolchain for Rust programs

danepps / legal-research-skills

Claude Code and Codex CLI skills for legal scholarship: verified research memos, cite-checking, proofreading, Zotero library building, SCOTUS case prep

status-im / nimbus-eth2

Nim implementation of the Ethereum Beacon Chain

OthmanAdi / planning-with-files

Persistent file-based planning for AI coding agents and long-running tasks. Crash-proof markdown plans, session recovery after /clear and compaction, per-turn re-injection against context rot, deterministic completion gate. Manus-style. Install from npm, the Claude Code plugin marketplace, or npx skills. Codex, Cursor, OpenCode, 60+ agents.

bendlang / bend

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

languagetool-org / languagetool

Style and Grammar Checker for 25+ Languages

Chia-Network / chia-blockchain

Chia blockchain python implementation (full node, farmer, harvester, timelord, and wallet)

getsentry / self-hosted

Sentry, feature-complete and packaged up for low-volume deployments and proofs-of-concept

codenotary / immudb

immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data change history

tiagozip / cap

privacy-first, open-source and self-hosted CAPTCHA alternative with PoW and instrumentation challenges.

sz3 / libcimbar

Optimized implementation for color-icon-matrix barcodes

FailproofAI / failproofai

Observability and enforcement for AI agent harnesses. Capture every run and runtime reliability with policy enforcement.

rocq-prover / rocq

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

mimblewimble / grin

Minimal implementation of the Mimblewimble protocol.

google / security-research

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

arkadiyt / bounty-targets-data

This repo contains hourly-updated data dumps of bug bounty platform scopes (like Hackerone/Bugcrowd/Intigriti/etc) that are eligible for reports

OffchainLabs / prysm

Go implementation of Ethereum proof of stake

yjjnls / awesome-blockchain

⚡️Curated list of resources for the development and applications of blockchain.

sigp / lighthouse

Ethereum consensus client in Rust

C2SP / wycheproof

Project Wycheproof tests crypto libraries against known attacks.

FStarLang / FStar

A Proof-oriented Programming Language

agda / agda

Agda is a dependently typed programming language / interactive theorem prover.

standardrb / standard

Ruby's bikeshed-proof linter and formatter 🚲

altcha-org / altcha

GDPR, WCAG 2.2 AA, and EAA compliant, self-hosted CAPTCHA alternative with PoW mechanism.

namada-net / namada

Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy

nerves-project / nerves

Craft and deploy bulletproof embedded software in Elixir

Kritt-ai / open-kritt

Open-source, self-hosted AI vulnerability research tool that orchestrates agents to find and validate security issues in code.

gautamkrishnar / nothing-private

Do you think you are safe using private browsing or incognito mode?. :smile: :imp: This will prove that you're wrong. Previously hosted at nothingprivate.ml

pydio / cells

Future-proof content collaboration platform

creusot-rs / creusot

Creusot helps you prove your Rust code is correct.

starkware-libs / cairo

Cairo is the first Turing-complete language for creating provable programs for general computation.

0xSteph / pentest-ai

Open-source AI pentester that proves every finding. Machine oracles re-run each exploit; verified bugs ship a proof capsule you can replay yourself.

tevador / RandomX

Proof of work algorithm based on random code execution

gjtorikian / html-proofer

Test your rendered HTML files to make sure they're accurate.

srid / neuron

Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)

plfa / plfa.github.io

An introduction to programming language theory in Agda

0xMarcio / pocindex

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

ChainSafe / lodestar

🌟 Ethereum Consensus client for the Zig and TypeScript ecosystem

noir-lang / noir

Noir is a domain specific language for zero knowledge proofs

michaelshimeles / skills

Agent skills and an AGENTS.md workflow template — isolate in worktrees, build to a service layer, prove with evidence, ship with before/after proof and Greptile review loops. For Claude Code, Cursor, and Codex.

ignite / cli

Ignite is a CLI tool and hub designed for constructing Proof of Stake Blockchains rooted in Cosmos-SDK

reticlehq / reticle

AI agents can generate code, but still struggle to understand what they build. Reticle brings Jev-style machine-native runtime perception to web & desktop applications.

formal-land / rocq-of-rust

Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.

fabio-rovai / open-ontologies

Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.

sagframe / sagacity-sqltoy

Java ORM alternative to MyBatis & Hibernate: JPA-style CRUD + SQL-first queries. Dynamic conditions without <if> blocks; one SQL across 25 databases (auto dialect & function adaptation); self-optimizing pagination; cache translate (no dictionary JOINs); race-proof updateFetch ledgers; sharding, multi-tenancy, data masking. In production since 2008.

semaphore-protocol / semaphore

A zero-knowledge protocol for anonymous interactions.

gnolang / gno

Gno: An interpreted, stack-based Go virtual machine to build succinct and composable apps + gno.land: a blockchain for timeless code and fair open-source.