Pinned Loading

1. Verified-zkEVM/clean Verified-zkEVM/clean Public

   Lean circuit DSL

   Lean 181 25

2. o1-labs/o1js o1-labs/o1js Public

   TypeScript framework for zk-SNARKs and zkApps

   TypeScript 606 171

3. zksecurity/vibenote zksecurity/vibenote Public

   Markdown notes, backed with Git. Vibe-coded ✌️

   TypeScript 1 1

4. montgomery montgomery Public

   Fast implementation of multi-scalar multiplication in WebAssembly

   TypeScript 33 3

5. zksecurity/wasmati zksecurity/wasmati Public

   Write low-level WebAssembly, from JavaScript

   TypeScript 237 7

6. jam-systems/jam jam-systems/jam Public

   🍓 Jam is your own open source Clubhouse for mini conferences, friends, communities

   JavaScript 1.3k 100