Wisdom Ogwu

Elite
@iammadab

Slowly then all at once.

zk. Implementations from Proofs, Arguments and Zero Knowledge

14

filemk. A simple tool to create files from the command line

11

terminal-js. Declaratively build command line tools

6

lazy-error. Easily manage express application errors

5

unique-port. Build robust servers by guaranteeing they always run on a unique port

4

riscv. RISC-V virtual machine

3

fri-bench. Rust

2

snark-protocol. Implementation of a linear PCP based zksnark

2

ecdsa. ECDSA Implementation with secp256k1 Curve

2

slide-deck. Present your slides on the web, use your phone as a controller

2

dark-chess. TypeScript

2

courier_api. API for courier service

1

totp. Rust

1

shamir-secret-sharing. Implementation of the shamir secret sharing algorithm

1

collab.io. A communication tool for teams

1

lean-extract. Extract the dependency graph for a given theorem + populates graph structure with git history

1

sym. Rust

1
17
Apply