Skip to content
Change the repository type filter

All

    Repositories list

    • tonk

      Public
      Locally multiplayer. Shared without servers. Free without ads. Impossible, until now.
      Rust
      96109Updated Feb 21, 2026Feb 21, 2026
    • rfc

      Public
      Request for Comments
      0005Updated Feb 20, 2026Feb 20, 2026
    • rs-ucan

      Public archive
      Rust implementation of UCAN
      Rust
      21000Updated Feb 12, 2026Feb 12, 2026
    • samod

      Public
      Rust
      13000Updated Oct 14, 2025Oct 14, 2025
    • tonkbook

      Public
      TypeScript
      0300Updated Jun 25, 2025Jun 25, 2025
    • TypeScript
      91000Updated Apr 17, 2025Apr 17, 2025
    • TypeScript
      0001Updated Apr 8, 2025Apr 8, 2025
    • TypeScript
      0105Updated Dec 2, 2024Dec 2, 2024
    • schola

      Public
      Rust
      0200Updated Nov 17, 2024Nov 17, 2024
    • .github

      Public
      0000Updated Nov 15, 2024Nov 15, 2024
    • gribi

      Public
      An SDK for building trust infrastructure
      Solidity
      21500Updated Nov 15, 2024Nov 15, 2024
    • dappicom

      Public
      Provable play of Nintendo Entertainment System in Noir
      Rust
      813771Updated Jun 9, 2024Jun 9, 2024
    • A playground environment for hands-on learning about Gribi
      Solidity
      1200Updated Apr 26, 2024Apr 26, 2024
    • The website for the dappicom project
      JavaScript
      1000Updated Feb 27, 2024Feb 27, 2024
    • A curated set of starter kits for getting on with your zk (and other cryptography too) projects
      Shell
      1400Updated Feb 5, 2024Feb 5, 2024
    • JavaScript
      0100Updated Jan 19, 2024Jan 19, 2024
    • A proof-of-concept suite of services for the game TonkAttack!
      Rust
      0200Updated Nov 11, 2023Nov 11, 2023
    • ds

      Public
      Downstream Game Client
      TypeScript
      10000Updated Oct 3, 2023Oct 3, 2023
    • miden-vm

      Public
      STARK-based virtual machine
      Rust
      259000Updated Sep 5, 2023Sep 5, 2023
    • On-chain turn-based combat game between zksnarked server and client
      C++
      0800Updated Apr 25, 2023Apr 25, 2023