8000 a16z · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
@a16z

a16z

Popular repositories Loading

  1. helios helios Public

    A fast, secure, and portable multichain light client for Ethereum

    Rust 2k 377

  2. halmos halmos Public

    A symbolic testing tool for EVM smart contracts

    Python 896 85

  3. awesome-farcaster awesome-farcaster Public

    A collection of awesome Farcaster links including clients, tools, and more.

    795 169

  4. jolt jolt Public

    The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

    Rust 792 234

  5. zkdrops zkdrops Public

    Private airdrops for Ethereum.

    JavaScript 763 124

  6. magi magi Public

    A blazing fast OP Stack rollup client written in Rust

    Rust 634 107

Repositories

Showing 10 of 29 repositories
  • helios Public

    A fast, secure, and portable multichain light client for Ethereum

    a16z/helios’s past year of commit activity
    Rust 1,982 MIT 377 27 (2 issues need help) 10 Updated May 17, 2025
  • halmos Public

    A symbolic testing tool for EVM smart contracts

    a16z/halmos’s past year of commit activity
    Python 896 AGPL-3.0 85 60 (5 issues need help) 6 Updated May 17, 2025
  • jolt Public

    The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

    a16z/jolt’s past year of commit activity
    Rust 792 MIT 234 36 (4 issues need help) 31 Updated May 16, 2025
  • halmos-cheatcodes Public
    a16z/halmos-cheatcodes’s past year of commit activity
    Solidity 66 AGPL-3.0 0 2 0 Updated May 14, 2025
  • rust Public
    a16z/rust’s past year of commit activity
    Rust 6 4 0 4 Updated May 13, 2025
  • arkworks-algebra Public Forked from arkworks-rs/algebra

    Libraries for finite field, elliptic curve, and polynomial arithmetic

    a16z/arkworks-algebra’s past year of commit activity
    Rust 1 Apache-2.0 321 0 3 Updated May 4, 2025
  • farcaster-py Public archive

    A Python SDK for the Farcaster network

    a16z/farcaster-py’s past year of commit activity
    Python 135 MIT 34 8 63 Updated Mar 11, 2025
  • awesome-farcaster Public

    A collection of awesome Farcaster links including clients, tools, and more.

    a16z/awesome-farcaster’s past year of commit activity
    795 169 4 7 Updated Mar 7, 2025
  • crypto-primitives Public Forked from arkworks-rs/crypto-primitives

    Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them

    a16z/crypto-primitives’s past year of commit activity
    Rust 1 Apache-2.0 103 0 0 Updated Feb 13, 2025
  • erc4626-tests Public

    ERC4626 Property Tests

    a16z/erc4626-tests’s past year of commit activity
    Solidity 179 AGPL-3.0 26 3 0 Updated Jan 31, 2025
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Most used topics

Loading…
0