Skip to content

@Hyle-org Hylé

Change the repository type filter

All

    Repositories list

    30 repositories

    • hyle

      Public
      A sequencing and settlement layer to help you build provable apps that are minimally, yet sufficiently, onchain.
      Rust
      •
      Other
      •25•51•4•5•Updated May 2, 2025May 2, 2025

    • Hyleou

      Public
      Explorer for Hylé
      Vue
      •0•5•0•0•Updated Apr 30, 2025Apr 30, 2025

    • faucet

      Public
      Rust
      •0•0•0•0•Updated Apr 28, 2025Apr 28, 2025

    • wallet

      Public
      Rust
      •0•0•0•0•Updated Apr 25, 2025Apr 25, 2025

    • ezcasino

      Public
      Random games
      Rust
      •0•0•0•0•Updated Apr 24, 2025Apr 24, 2025

    • degen-party

      Public
      Multiplayer & rollup party game with minigames
      Rust
      •0•0•0•0•Updated Apr 23, 2025Apr 23, 2025

    • devhub-hyle

      Public
      Documentation of the Hylé verification network
      HTML
      •3•3•0•1•Updated Apr 17, 2025Apr 17, 2025

    • hyleoof

      Public
      Small demo app for the hyle AMM, using yew
      TypeScript
      •2•1•0•9•Updated Apr 17, 2025Apr 17, 2025

    • examples

      Public
      Collection of example contracts to be deployed on Hylé
      Rust
      •17•4•0•2•Updated Apr 17, 2025Apr 17, 2025

    • hyle-js

      Public
      Frontend library to work with Hylé
      TypeScript
      •0•1•0•1•Updated Apr 16, 2025Apr 16, 2025

    • template-risc0

      Public
      Template repository you can clone to start you Risc0 smart contract
      Rust
      •
      MIT License
      •2•0•0•1•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
      •544•0•0•0•Updated Jan 30, 2025Jan 30, 2025

    • aztec-packages

      Public
      C++
      •
      Apache License 2.0
      •367•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-snarksnoirzksnarkszkproofcairo-langnoir-lang
      Cairo
      •4•12•3•4•Updated Oct 21, 2024Oct 21, 2024

    • hyle-cosmos

      Public
      Cosmos PoC of the Hylé node - a sequencing and settlement layer to help you build provable apps that are minimally, yet sufficiently, onchain.
      Go
      •
      Apache License 2.0
      •2•1•1•0•Updated Oct 4, 2024Oct 4, 2024

    • collatz-conjecture

      Public
      RISC Zero implementation of the Collatz Conjecture for Hylé
      Rust
      •
      Apache License 2.0
      •6•3•0•0•Updated Sep 11, 2024Sep 11, 2024

    • verifiers-for-hyle

      Public
      Rust
      •
      Apache License 2.0
      •10•10•3•1•Updated Aug 11, 2024Aug 11, 2024

    • noir-collatz-conjecture

      Public
      Roff
      •0•2•0•0•Updated Jul 29, 2024Jul 29, 2024

    • cairo-erc20-runner

      Public
      Cairo
      •0•0•0•0•Updated Jul 22, 2024Jul 22, 2024

    • vibe-check-frontend

      Public
      TypeScript
      •0•3•0•0•Updated Jul 17, 2024Jul 17, 2024

    • groth16-example

      Public
      Go
      •0•0•0•0•Updated Jul 2, 2024Jul 2, 2024

    • cairo-vm

      Public
      cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
      Rust
      •
      Apache License 2.0
      •183•0•0•0•Updated Jun 25, 2024Jun 25, 2024

    • explorer

      Public
      Vue
      •
      GNU General Public License v2.0
      •2•1•0•1•Updated Jun 3, 2024Jun 3, 2024

    • zk-benchmarks

      Public
      Benchmarks of proving / verification times for ZK proving schemes & VMs with the goal of being a useful reference
      1•0•1•0•Updated May 22, 2024May 22, 2024

    • webauthn-identity-provider

      Public
      Hylé smart contract providing account abstraction using WebAuthn
      0•0•1•0•Updated May 22, 2024May 22, 2024

    • collatz-sp1-prover

      Public
      Rust
      •0•0•0•0•Updated May 22, 2024May 22, 2024