Skip to content
Change the repository type filter

All

    Repositories list

    • hyli

      Public
      The new proof-powered L1 to build the next generation of apps.
      Rust
      49941013Updated Aug 22, 2025Aug 22, 2025
    • hyli-js

      Public
      Frontend library to work with Hylé
      TypeScript
      0101Updated Aug 22, 2025Aug 22, 2025
    • Documentation of Hyli, the new proof-powered L1 to build the next generation of apps.
      HTML
      4500Updated Aug 22, 2025Aug 22, 2025
    • explorer

      Public
      Explorer for Hyli
      Vue
      1602Updated Jul 28, 2025Jul 28, 2025
    • Track memory allocations by backtrace or originating thread
      Rust
      4000Updated Jul 23, 2025Jul 23, 2025
    • wallet

      Public
      TypeScript
      5502Updated Jul 22, 2025Jul 22, 2025
    • faucet

      Public
      TypeScript
      11401Updated Jul 18, 2025Jul 18, 2025
    • Rust
      2321Updated Jul 12, 2025Jul 12, 2025
    • Vue
      0000Updated Jul 11, 2025Jul 11, 2025
    • ezcasino

      Public
      Random games
      TypeScript
      0000Updated Jul 10, 2025Jul 10, 2025
    • Multiplayer & rollup party game with minigames
      Rust
      1101Updated Jul 9, 2025Jul 9, 2025
    • TypeScript
      1100Updated Jul 2, 2025Jul 2, 2025
    • Vue
      0000Updated Jun 26, 2025Jun 26, 2025
    • orderbook

      Public
      Rust
      2001Updated Jun 24, 2025Jun 24, 2025
    • boundless

      Public
      Monorepo for Boundless, the verifiable compute layer
      Rust
      156000Updated Jun 18, 2025Jun 18, 2025
    • Rust
      40000Updated Jun 10, 2025Jun 10, 2025
    • examples

      Public
      Collection of example contracts to be deployed on Hyli
      Rust
      16502Updated May 28, 2025May 28, 2025
    • Hyli branding assets: logo, colors, and fonts.
      0000Updated May 14, 2025May 14, 2025
    • hyleoof

      Public archive
      Small demo app for the hyle AMM, using yew
      TypeScript
      2109Updated Apr 17, 2025Apr 17, 2025
    • Template repository you can clone to start you Risc0 smart contract
      Rust
      3002Updated Apr 16, 2025Apr 16, 2025
    • Rust
      0001Updated Apr 16, 2025Apr 16, 2025
    • Metamask Snap + Hyle contract for eth identities
      TypeScript
      0000Updated Mar 27, 2025Mar 27, 2025
    • Small crate to parse a Cargo.toml file to read dependencies versions
      Rust
      0000Updated Feb 24, 2025Feb 24, 2025
    • Issues for hackathons & external contributions.
      Rust
      7013Updated Feb 24, 2025Feb 24, 2025
    • risc0

      Public
      RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
      C++
      611000Updated Jan 30, 2025Jan 30, 2025
    • C++
      491000Updated Nov 5, 2024Nov 5, 2024
    • A zkML & WebAuthn Powered zkApp asserting a user has smiled and awarding test tokens accordingly on Hylé! This is a test project.
      Cairo
      41334Updated Oct 21, 2024Oct 21, 2024
    • Cosmos PoC of the Hylé node - a sequencing and settlement layer to help you build provable apps that are minimally, yet sufficiently, onchain.
      Go
      2110Updated Oct 4, 2024Oct 4, 2024
    • RISC Zero implementation of the Collatz Conjecture for Hylé
      Rust
      6300Updated Sep 11, 2024Sep 11, 2024
    • Rust
      101131Updated Aug 11, 2024Aug 11, 2024