Movatterモバイル変換

[0]ホーム
URL:

Skip to content

Navigation Menu

a16z

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

 Sign up
@a16z

a16z

Popular repositoriesLoading

  1. heliosheliosPublic

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

    Rust 2k 349

  2. halmoshalmosPublic

    A symbolic testing tool for EVM smart contracts

    Python 883 80

  3. awesome-farcasterawesome-farcasterPublic

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

    786 167

  4. joltjoltPublic

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

    Rust 766 215

  5. zkdropszkdropsPublic

    Private airdrops for Ethereum.

    JavaScript 760 123

  6. magimagiPublic

    A blazing fast OP Stack rollup client written in Rust

    Rust 628 107

Repositories

Loading
Type
Select type
Language
Select language
Sort
Select order
Showing 10 of 29 repositories
  • halmos Public

    A symbolic testing tool for EVM smart contracts

    a16z/halmos’s past year of commit activity
    Python 883AGPL-3.0 80 63(5 issues need help) 8 UpdatedMar 22, 2025
  • arkworks-algebra Public Forked fromarkworks-rs/algebra

    Libraries for finite field, elliptic curve, and polynomial arithmetic

    a16z/arkworks-algebra’s past year of commit activity
    Rust 1Apache-2.0 299 0 1 UpdatedMar 21, 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 766MIT 215 31(4 issues need help) 14 UpdatedMar 21, 2025
  • helios Public

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

    a16z/helios’s past year of commit activity
    Rust 1,956MIT 349 26(2 issues need help) 17 UpdatedMar 21, 2025
  • farcaster-py Public archive

    A Python SDK for the Farcaster network

    a16z/farcaster-py’s past year of commit activity
    Python 133MIT 33 8 63 UpdatedMar 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
    786 167 4 6 UpdatedMar 7, 2025
  • rust Public
    a16z/rust’s past year of commit activity
    Rust 6 4 1 5 UpdatedMar 6, 2025
  • crypto-primitives Public Forked fromarkworks-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 1Apache-2.0 98 0 0 UpdatedFeb 13, 2025
  • erc4626-tests Public

    ERC4626 Property Tests

    a16z/erc4626-tests’s past year of commit activity
    Solidity 178AGPL-3.0 26 3 0 UpdatedJan 31, 2025
  • jsi Public

    just solve it - a CLI utility to run a portfolio of SMT solvers in parallel

    a16z/jsi’s past year of commit activity
    Python 7MIT0 3 0 UpdatedJan 28, 2025

People

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

Top languages

Loading…

Most used topics

Loading…

[8]ページ先頭
©2009-2025 Movatter.jp