Skip to content
Change the repository type filter

All

    Repositories list

    • Shell
      0000Updated Oct 30, 2025Oct 30, 2025
    • 0000Updated Oct 23, 2025Oct 23, 2025
    • kubespray

      Public
      Deploy a Production Ready Kubernetes Cluster
      Jinja
      Apache License 2.0
      6.9k000Updated Oct 13, 2025Oct 13, 2025
    • DKIM RSA-SHA256 Verification Algorithm in Cairo ZKVM
      Rust
      11170Updated Feb 18, 2025Feb 18, 2025
    • DSC Verification Algorithm in Cairo ZKVM
      0000Updated Feb 9, 2025Feb 9, 2025
    • swiftness

      Public
      Cairo-VM STONE STARK Verifier Rust implementation
      Rust
      Apache License 2.0
      124442Updated Feb 4, 2025Feb 4, 2025
    • zetina

      Public
      Shared peer-to-peer network of zero-knowledge provers
      Cairo
      Apache License 2.0
      11611Updated Dec 5, 2024Dec 5, 2024
    • Web Cairo-VM Stark Verifier
      TypeScript
      0000Updated Sep 29, 2024Sep 29, 2024
    • buildkit

      Public
      Shell
      0000Updated Aug 12, 2024Aug 12, 2024
    • C++
      Apache License 2.0
      82000Updated Aug 4, 2024Aug 4, 2024
    • Aligned Layer is a verification layer for zero-knowledge proofs using Eigen Layer. Our mission is to accelerate the adoption of zero-knowledge and validity proo…
      Rust
      MIT License
      397001Updated Jul 13, 2024Jul 13, 2024
    • 0100Updated Apr 29, 2024Apr 29, 2024
    • noir_rs

      Public
      Rust-based zkSNARK Proving&Verifying tool for noir-lang
      Rust
      Apache License 2.0
      14500Updated Apr 27, 2024Apr 27, 2024
    • Utility package designed to facilitate interaction within the Aleph zero ecosystem
      TypeScript
      0100Updated Apr 20, 2024Apr 20, 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, wh…
      Rust
      Apache License 2.0
      222000Updated Apr 15, 2024Apr 15, 2024
    • rook

      Public
      Storage Orchestration for Kubernetes
      Go
      Apache License 2.0
      2.8k000Updated Apr 13, 2024Apr 13, 2024
    • 0000Updated Apr 4, 2024Apr 4, 2024
    • 0000Updated Apr 2, 2024Apr 2, 2024
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.