dcbuild3r

yabai

A tiling window manager for macOS based on binary space partitioning

uv

An extremely fast Python package installer and resolver, written in Rust.

engineering-management

A collection of inspiring resources related to engineering management and tech leadership

graphcast

sp1

A performant, 100% open-source, contributor-friendly zkVM.

nexus-zkvm

The Nexus zkVM: The zero-knowledge virtual machine

solidity-style-guide

valida

A STARK-based VM focused on code reuse, performance, and modularity

proof-of-passport

Proof of passport protocol using zk-SNARKs

orb-software

Software for the orb

balls

A DSL for generating optimal EVM bytecode

revm-inspectors

EVM Execution Hooks.

awesome-sp1

A curated list of awesome resources related to SP1 - Succinct's zkVM.

aligned_layer_testnet

Aligned Layer is a verification layer for zero-knowledge proofs using Eigen Layer. Our mission is to extend Ethereum's zk capabilities.

zk_evm

kona

A suite of `no_std` components of the OP Stack rollup state transition.

greco

circom-witness-rs

honk-verifier

Honk Verifier in Solidity

risc0-ethereum

Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.

monomorphized

worldid-auth

Example of Authentication with WorldID, ConnectKit, Airstack, & Next.js

sp1-storage-proof

storage proof made by sp1

zkllm-ccs2024

hdp

Herodotus Data Processor Toolkit. Enhance zk-offchain compute for verifiable onchain data using zkVMs

worldcoin-token

Smart contracts for the WLD token.

DFMM

Smart contracts of the DFMM protocol

ext-signer-ledger

Ethers extension for LedgerSigner for Ledger Hardware Wallet support.

world-id-relay

State bridge relay for WorldID

worldid-integration-contracts

Rarimo <> WorldID integration contracts