Giters
David Wong (mimoo)

mimoo

User data from Github https://github.com/mimoo

1k

followers

13

following

212

stars

Company:@zksecurity

Location:New York

Home Page:http://www.cryptologie.net

GitHub:@mimoo

Twitter:@cryptodavidw

Organizations
MinaProtocol

David Wong's repositories

cargo-dephell

Cargo dephell analyzes the third-party dependencies of a Rust workspace

Language:HTMLStargazers:48Issues:2Issues:9

cargo-specification

The code is the spec

Language:RustLicense:Apache-2.0Stargazers:38Issues:2Issues:19

better-ocaml

A program that parses OCaml errors to display them in a more readable format

Language:PythonStargazers:6Issues:1Issues:0

randoml

Generate cryptographically-secure random numbers in OCaml

Language:OCamlLicense:Apache-2.0Stargazers:4Issues:2Issues:1

gosphincs

SPHINCS+ in Golanmg

Language:GoStargazers:2Issues:2Issues:0

citytrade

trying to write a trading interface for www.citymayor.co

Language:VueStargazers:1Issues:1Issues:1

frost

Rust implementation of FROST (Flexible Round-Optimised Schnorr Threshold signatures) by the Zcash Foundation

Language:RustLicense:NOASSERTIONStargazers:1Issues:0Issues:0

rust-bitcoin

Rust Bitcoin library

Language:RustLicense:CC0-1.0Stargazers:1Issues:0Issues:0

yellowpaper

The "Yellow Paper": Ethereum's formal specification

Language:TeXLicense:CC-BY-SA-4.0Stargazers:1Issues:0Issues:0

zkbitcoin

zkBitcoin: zero-knowledge proofs on Bitcoin!

Language:RustLicense:MITStargazers:1Issues:0Issues:0

alinush.github.io

Personal website

Language:SCSSLicense:MITStargazers:0Issues:1Issues:0

cargo-dep-bot

Language:TypeScriptStargazers:0Issues:1Issues:0

cargo-guppy

Track and query Cargo dependency graphs.

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

circom

zkSnark circuit compiler

Language:WebAssemblyLicense:GPL-3.0Stargazers:0Issues:0Issues:0

circom_tester

Provides tools for testing circom circuits.

Language:JavaScriptStargazers:0Issues:1Issues:0

crypto-name

Figure out your crypto name

Language:VueStargazers:0Issues:2Issues:0

dependabot-core

🤖 The core logic behind Dependabot's update PR creation, and the public issue tracker for all things Dependabot

Language:RubyLicense:NOASSERTIONStargazers:0Issues:1Issues:0

gnark-crypto

gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge proof systems.

Language:GoLicense:Apache-2.0Stargazers:0Issues:0Issues:0

kimchi-visu

Language:VueStargazers:0Issues:2Issues:0

kube-rs

kubernetes client and futures controller runtime

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

lsif-upload-action

Language:DockerfileLicense:MITStargazers:0Issues:0Issues:0

mimoo

Stargazers:0Issues:1Issues:0

mina_bridge

Bridge from Mina to Ethereum

Language:SolidityStargazers:0Issues:0Issues:0

MIPs

Stargazers:0Issues:1Issues:0

noname-playground

A code playground for the Noname ZK programming language

Language:JavaScriptStargazers:0Issues:0Issues:0

owasp-threat-dragon

An open source, online threat modelling tool from OWASP

Language:JavaScriptLicense:Apache-2.0Stargazers:0Issues:1Issues:0

pasta_curves

Rust implementation for zcash/pasta

Language:RustLicense:NOASSERTIONStargazers:0Issues:1Issues:0

robot_stuff

A game where people fight against time to find the shortest solution

Language:RustStargazers:0Issues:1Issues:0

snark

Interfaces for Relations and SNARKs for these relations

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

starknet-contracts

the Ethereum contracts for Starknet

Language:SolidityStargazers:0Issues:2Issues:0