John Xu's repositories
astronvim_config
An example user configuration with a split up structure
chiquito
DSL for Halo2 circuits
clash-nyanpasu
Clash Nyanpasu!
clash-verge
A Clash GUI based on tauri. Supports Windows, macOS and Linux.
Clash.Meta
A rule-based tunnel in Go.
ClashMetaForAndroid
A rule-based tunnel for Android.
codelldb
A native debugger extension for VSCode based on LLDB
delay-timer
Time-manager of delayed tasks. Like crontab, but synchronous asynchronous tasks are possible scheduling, and dynamic add/cancel/remove is supported.
go-ethereum
Official Go implementation of the Ethereum protocol
httparse
A push parser for the HTTP 1.x protocol in Rust.
kitex
A high-performance and strong-extensibility Golang RPC framework that helps developers build microservices.
mosdns-cn-docker
https://github.com/IrineSistiana/mosdns-cn
oxc
⚓ A collection of JavaScript tools written in Rust.
Plonky3
A toolkit for polynomial IOPs (PIOPs)
powdr
A modular stack for zkVMs, with a focus on productivity, security and performance.
powdr_revm
Powdr application using revm in no-std mode.
revm
Ethereum Virtual Machine written in rust that is fast and simple to use
rio
pure rust io_uring library, built on libc, thread & async friendly, misuse resistant
sp1
A performant, 100% open-source, contributor-friendly zkVM.
spacedrive
Spacedrive is an open source cross-platform file explorer, powered by a virtual distributed filesystem written in Rust.
tauri
Build smaller, faster, and more secure desktop applications with a web frontend.
zeth
A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM
zkvm-benchmarks
Benchmarks of popular zkVMs including Jolt