Explore Projects

Discover 102 open source projects

Active filters (1):
Search: proofsร—
Clear all

Showing 1-20 of 102 projects

rlabbe/Kalman-and-Bayesian-Filters-in-Python

A comprehensive tutorial on Kalman filters, extended Kalman filters, and more using Jupyter Notebooks.

18.8K
Archived
Jupyter Notebook
LLM Frameworks
#kalman-filter#bayesian-filter#jupyter-notebook

sismo-core/sismo-badges

Contracts for a decentralized badge minting protocol built on Ethereum and zero-knowledge proofs.

16.0K
Archived
TypeScript
Smart Contracts
TypeScript
#attestations#did#ethereum

Chia-Network/chia-blockchain

A Python implementation of the Chia blockchain, including a full node, farmer, harvester, timelord, and wallet.

10.9K
Active
Python
Smart Contracts
#blockchain#chia#proof-of-space

getsentry/self-hosted

Self-hosted instance of Sentry, a popular error tracking and performance monitoring tool, packaged for easy deployment.

9.2K
Active
Shell
API Frameworks
Containerization
#docker#docker-compose#on-premise

frohoff/ysoserial

A proof-of-concept tool for generating payloads that exploit unsafe Java object deserialization.

8.8K
Stable
Java
Security Research
#deserialization#exploit#gadget

nomi-sec/PoC-in-GitHub

A proof-of-concept (PoC) for auto-collecting GitHub security data.

7.6K
Active
Node
#security#vulnerability#exploit

sz3/libcimbar

A C++ library for optimized implementation of color-icon-matrix barcodes, a proof-of-concept project.

5.9K
Active
C++
API Clients & Testing
Computer Vision
#barcode#image-hash#opencv

matter-labs/awesome-zero-knowledge-proofs

A curated list of awesome resources for learning about Zero-Knowledge Proofs (ZKP) and related cryptographic concepts.

5.8K
Active
Tutorials & Courses
Security Research
#zero-knowledge-proofs#cryptography#snarks

spaceandtimefdn/sxt-proof-of-sql

A Rust-based proof-of-SQL project for the Space and Time developer discovery platform, focused on vibe coders.

5.5K
Active
Rust
BaaS Platforms
API Clients & Testing
#database#sql#rust

zcash/zcash

Zcash is a privacy-focused cryptocurrency that uses zero-knowledge proofs to protect transaction details.

5.4K
Active
C++
Crypto Tools
#cryptocurrency#privacy#zero-knowledge-proofs

rocq-prover/rocq

An interactive theorem prover for writing and verifying mathematical definitions and algorithms.

5.4K
Active
OCaml
OCaml
#theorem-prover#proof-assistant#dependent-types

steshaw/plt

A library for exploring programming language theory, with a focus on lambda calculus and type theory.

5.3K
Archived
CSS
Learning & Education
API Frameworks
Next.js
#programming-language-theory#lambda-calculus#type-theory

mimblewimble/grin

A minimal implementation of the Mimblewimble protocol for cryptocurrency and zero-knowledge proofs

5.1K
Active
Rust
MCP Servers
#cryptography#mimblewimble#grin

tiagozip/cap

A self-hosted CAPTCHA solution for modern web applications

5.0K
Active
JavaScript
JavaScript
#captcha#proof-of-work#anti-bot

spaceandtimefdn/blitzar

A high-performance zero-knowledge proof acceleration library for C++ and Rust developers working on cryptographic applications.

4.9K
Stable
C++
API Frameworks
API Clients & Testing
#cryptography#zero-knowledge-proofs#gpu-acceleration

Threekiii/Awesome-POC

A knowledge base for vulnerability PoCs with over 1000 vulnerabilities.

4.8K
Active
Java
Security Research
#vulnerability#poc#security-research

google/security-research

This project hosts security advisories and proof-of-concepts related to research conducted at Google.

4.4K
Active
C
Security Research
#security#research#advisories

ethereum/consensus-specs

Ethereum Proof-of-Stake Consensus Specifications, a library for developers working on Ethereum blockchain.

3.9K
Active
Python
Smart Contracts
#ethereum#consensus#proof-of-stake

mikepenz/FastAdapter

A fast and easy-to-use adapter library for building efficient Android UI components with RecyclerView.

3.9K
Archived
Kotlin
Component Libraries (Android)
CLI Tools
Android
#adapter#recyclerview#android-ui

openblockchains/awesome-blockchains

A curated list of awesome blockchain resources, including tools, protocols, and platforms.

3.8K
Archived
Ruby
Smart Contracts
Crypto Tools
#blockchain#cryptocurrency#decentralized-database

Stay in the loop

Get weekly updates on trending AI coding tools and projects.