Skip to content

@QEDGen QEDGen

Change the repository type filter

All

    Repositories list

    7 repositories

    • solana-skills

      Public
      Ship without fear. Proofs, not promises.
      Rust
      •
      MIT License
      •7•64•4•0•Updated Jul 1, 2026Jul 1, 2026

    • qedsvm

      Public
      Lean 4 reference semantics for the Solana Virtual Machine
      Lean
      •
      MIT License
      •4•20•2•0•Updated Jun 25, 2026Jun 25, 2026

    • percolator

      Public
      Rust
      •
      Apache License 2.0
      •168•0•0•0•Updated May 23, 2026May 23, 2026

    • anchor

      Public
      ⚓ Solana Program Framework
      Rust
      •
      Apache License 2.0
      •2k•0•0•0•Updated May 12, 2026May 12, 2026

    • percolator-prog

      Public
      Rust
      •
      Apache License 2.0
      •45•0•0•0•Updated Apr 25, 2026Apr 25, 2026

    • zeropod

      Public
      Zero-copy, alignment-1 pod types for Solana programs
      Rust
      •5•0•0•0•Updated Apr 23, 2026Apr 23, 2026

    • solana-new

      Public
      think. build. ship. tasteful & useful crypto apps. using a curated skills + knowledge base for AI agents on solana contracts & integrations
      TypeScript
      •
      MIT License
      •44•0•0•0•Updated Apr 18, 2026Apr 18, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.