Skip to content
View howardwu's full-sized avatar

Organizations

@scipr-lab @ProvableHQ

Block or report howardwu

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results
Rust 11 2 Updated Jan 22, 2024

CLI platform to experiment with codegen. Precursor to: https://lovable.dev

Python 55,202 7,312 Updated May 14, 2025

Open source explorer for the Aleo network

Python 131 85 Updated Jun 2, 2026

📜 A Starter Guide to Build ZK Applications 📜

Shell 342 269 Updated Dec 17, 2024

🏎️ A curated list of Aleo & Leo code and resources 🏎️

391 247 Updated Sep 6, 2025

Aleo Request for Comments (ARCs)

JavaScript 233 268 Updated Jun 10, 2026

Javascript & Typescript SDK for Zero-Knowledge Application Development

TypeScript 632 486 Updated Jun 11, 2026

fully decentralized self-stabilizing dollar.

JavaScript 117 134 Updated Apr 9, 2023

The Halo2 zero-knowledge proving system

Rust 911 596 Updated Jun 9, 2026

📄 Documentation for Leo 🦁

Mermaid 330 221 Updated Apr 28, 2026

A zkVM for Decentralized Private Computations (DPC)

Rust 1,158 1,549 Updated Jun 13, 2026

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

Rust 4,821 718 Updated Jun 14, 2026

Fully-compatible implementation of Privacy Pass in Rust.

Rust 35 5 Updated Apr 20, 2020

The Zinc language public repository

Rust 309 36 Updated Nov 25, 2024

Rust / Wasm framework for creating reliable and efficient web applications

Rust 32,679 1,459 Updated Jun 12, 2026

Import Zcash Sapling parameters natively into your Rust code

Rust 4 3 Updated Apr 29, 2021

"The mother of all demo apps" — Exemplary fullstack Medium.com clone powered by React, Angular, Node, Django, and many more

TypeScript 83,538 7,619 Updated May 21, 2026
Rust 17 5 Updated Feb 3, 2024

A Decentralized Operating System for ZK Applications

Rust 4,527 2,685 Updated Jun 12, 2026
Rust 117 15 Updated Aug 6, 2021

Generate types and converters from JSON, Schema, and GraphQL

TypeScript 13,761 1,182 Updated Oct 27, 2025
Rust 13 25 Updated Apr 11, 2026
Rust 78 17 Updated Dec 10, 2019

Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

OCaml 2,119 586 Updated Jun 13, 2026

A lightweight Javascript library for generating t-addresses and z-addresses

JavaScript 6 4 Updated Mar 24, 2022

On O(1) Labs' reference machine, this SNARK prover is 3x faster than libsnark!

C++ 97 52 Updated Nov 21, 2023

A Rust library for generating cryptocurrency wallets

Rust 645 108 Updated Feb 17, 2022
Rust 63 5 Updated Mar 26, 2019

Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.

Rust 16,678 2,550 Updated Jun 10, 2026
Next