Repositories list

• hyli

  Public
  The new proof-powered L1 to build the next generation of apps.

  Rust

  •

  Other

  •55•112•13•21•Updated Oct 23, 2025Oct 23, 2025

• rsp

  Public
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.

  Rust

  •

  Apache License 2.0

  •81•0•0•0•Updated Oct 22, 2025Oct 22, 2025

• explorer

  Public
  Explorer for Hyli

  Vue

  •1•6•0•2•Updated Oct 21, 2025Oct 21, 2025

• wallet

  Public
  TypeScript

  •5•5•0•2•Updated Oct 21, 2025Oct 21, 2025

• vite-bb-worker-issue

  Public archive
  Vue

  •0•0•0•0•Updated Sep 30, 2025Sep 30, 2025

• hyli-noir

  Public
  A library of noir programs used by Hyli

  TypeScript

  •0•0•0•0•Updated Sep 29, 2025Sep 29, 2025

• app-scaffold

  Public template
  Rust

  •2•3•2•1•Updated Sep 18, 2025Sep 18, 2025

• hyli-js

  Public
  Frontend library to work with Hylé

  TypeScript

  •0•1•0•1•Updated Sep 3, 2025Sep 3, 2025

• examples

  Public
  Collection of example contracts to be deployed on Hyli

  Rust

  •16•5•0•2•Updated Sep 3, 2025Sep 3, 2025

• devhub-hyli

  Public
  Documentation of Hyli, the new proof-powered L1 to build the next generation of apps.

  HTML

  •4•5•0•0•Updated Aug 25, 2025Aug 25, 2025

• alloc-track

  Public
  Track memory allocations by backtrace or originating thread

  Rust

  •4•0•0•0•Updated Jul 23, 2025Jul 23, 2025

• faucet

  Public
  TypeScript

  •1•14•0•1•Updated Jul 18, 2025Jul 18, 2025

• hyligotchi-quiz

  Public
  Vue

  •0•0•0•0•Updated Jul 11, 2025Jul 11, 2025

• ezcasino

  Public
  Random games

  TypeScript

  •0•1•0•0•Updated Jul 10, 2025Jul 10, 2025

• orange-trail

  Public
  Multiplayer & rollup party game with minigames

  Rust

  •1•1•0•1•Updated Jul 9, 2025Jul 9, 2025

• hyligotchi

  Public
  TypeScript

  •1•1•0•0•Updated Jul 2, 2025Jul 2, 2025

• testnet-maintenance-widget

  Public
  Vue

  •0•0•0•0•Updated Jun 26, 2025Jun 26, 2025

• orderbook

  Public
  Rust

  •2•0•0•1•Updated Jun 24, 2025Jun 24, 2025

• boundless

  Public
  Monorepo for Boundless, the verifiable compute layer

  Rust

  •

  Other

  •169•0•0•0•Updated Jun 18, 2025Jun 18, 2025

• sparse-merkle-tree

  Public
  Rust

  •40•0•0•0•Updated Jun 10, 2025Jun 10, 2025

• hyli-assets

  Public
  Hyli branding assets: logo, colors, and fonts.

  branding-assets

  0•0•0•0•Updated May 14, 2025May 14, 2025

• hyleoof

  Public archive
  Small demo app for the hyle AMM, using yew

  TypeScript

  •2•1•0•9•Updated Apr 17, 2025Apr 17, 2025

• template-risc0

  Public
  Template repository you can clone to start you Risc0 smart contract

  Rust

  •

  MIT License

  •3•0•0•2•Updated Apr 16, 2025Apr 16, 2025

• template-sp1

  Public
  Rust

  •

  MIT License

  •0•0•0•1•Updated Apr 16, 2025Apr 16, 2025

• metamask-id

  Public
  Metamask Snap + Hyle contract for eth identities

  TypeScript

  •0•0•0•0•Updated Mar 27, 2025Mar 27, 2025

• cargo-toml-parser

  Public
  Small crate to parse a Cargo.toml file to read dependencies versions

  Rust

  •0•0•0•0•Updated Feb 24, 2025Feb 24, 2025

• hackathons

  Public
  Issues for hackathons & external contributions.

  Rust

  •7•0•1•3•Updated 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++

  •

  Apache License 2.0

  •649•0•0•0•Updated Jan 30, 2025Jan 30, 2025

• aztec-packages

  Public
  C++

  •

  Apache License 2.0

  •528•0•0•0•Updated Nov 5, 2024Nov 5, 2024

• vibe-check

  Public
  A zkML & WebAuthn Powered zkApp asserting a user has smiled and awarding test tokens accordingly on Hylé! This is a test project.

  cairozk-snarksnoir+ 4zksnarkszkproofcairo-langnoir-lang

  Cairo

  •4•13•3•4•Updated Oct 21, 2024Oct 21, 2024