Yuncong Zhang's repositories
voproof-rust
Rust implementation of the VOProof zkSNARK.
Python-piano
A python implementation of keyboard-piano.
ark-circom
Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
Basher
A tool set to simplify everyday work.
circom-ecdsa
Big integer arithmetic and secp256k1 ECC operations in circom
circomlib
Library of basic circuits for circom
ckb-miscellaneous-scripts
Interesting and useful CKB scripts which aren't necessarily in system scripts
DartSharp
A simple and lightweight dart compiler to C# implemented with python.
Goldilocks
Implementation of Goldilocks and its extension fields for Halo2 traits
Javascript-WordWar
A javascript game.
juptex
Python scripts that assist writing academic papers and creating slides in jupyter notebook.
jupyterlab
JupyterLab computational environment.
jupyterlab-markup
JupyterLab extension to enable markdown-it rendering, with support for markdown-it plugins
mbedtls
An open source, portable, easy to use, readable and flexible SSL library
mytex
LaTeX project management tool.
Plonky3
A collection of libraries related to polynomial IOPs (PIOPs)
Python-RA2
A python remake of RA2 using pygame.
Python-WordWar
A python game aimed at helping Chinese users to memorize English words
safe-writing-rs
An encrypted text editor written in rust.
safenotes
Safe Notes is a security project aimed at providing an encrypted, private note manager that works locally and protects notes from various threat actors.
SpaceVim
My own version of SpaceVim.