howardwu

realworld

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

gpt-engineer

Specify what you want it to build, the AI asks for clarification, and then builds it.

yew

Rust / Wasm framework for creating reliable and efficient web applications

diem

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

quicktype

Generate types and converters from JSON, Schema, and GraphQL

leo

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

mina

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

snarkVM

A Virtual Machine for Zero-Knowledge Executions

halo2

The Halo2 zero-knowledge proving system

wagyu

A Rust library for generating cryptocurrency wallets

sdk

A Software Development Kit (SDK) for Zero-Knowledge Transactions

awesome-aleo

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

workshop

📜 A Starter Guide to Build ZK Applications 📜

welcome

👋 Welcome to Provable! Zero-Knowledge is Finally Here 🚀

zinc

The Zinc language public repository

ARCs

Aleo Request for Comments (ARCs)

dollar

fully decentralized self-stabilizing dollar.

halo

gpu-groth16-prover-3x

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

aleo-explorer

Open source explorer for the Aleo network

sonic

wasm_proof

privacypass-rs

Fully-compatible implementation of Privacy Pass in Rust.

snark-challenge-prover-reference

snark-setup

zcash-test-vectors

credits

wagyu-zcash-parameters

Import Zcash Sapling parameters natively into your Rust code

zcash-wallet

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

snarkOS

A Decentralized Operating System for ZK Applications