Stars
MUD is a framework for building autonomous worlds
Tensors and Dynamic neural networks in Python with strong GPU acceleration
Distributed mutual exclusion lock using Redis for Go
基于 gin+gorm+redis+mysql 读写分离的电子商城，包括 JWT 鉴权，CORS跨域，AES 对称加密，引入ELK体系方便日志查看，jaeger进行trace查看，skywalking进行检测，使用docker容器化部署
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
Go implementation of the Ethereum protocol
The Nexus zkVM: The zero-knowledge virtual machine
Machine Learning Engineering Open Book
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
Cairo is the first Turing-complete language for creating provable programs for general computation.
Privacy-Preserving Computing Platform 由密码学专家团队打造的开源隐私计算平台，支持多方安全计算、联邦学习、隐私求交、匿踪查询等。
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
zkMIPS 0.3: an open-source, simple, stable, and universal zero-knowledge virtual machine on MIPS32r2 ISA
A curated list of zkVM, zero-knowledge virtual machine
Formally Verified Arguments of Knowledge in Lean