Skip to content
@QEDGen

QEDGen

Pinned Loading

  1. solana-skills solana-skills Public

    Ship without fear. Proofs, not promises.

    Rust 66 7

  2. qedsvm qedsvm Public

    Execute and verify compiled Solana sBPF programs with a Lean 4 reference model

    Lean 20 3

  3. zeropod zeropod Public

    Forked from blueshift-gg/zeropod

    Zero-copy, alignment-1 pod types for Solana programs

    Rust

Repositories

Showing 8 of 8 repositories

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…