Yuzhou Mao's repositories
llm-formal
Using LLMs to generate formal verification programs or mathematical proofs for distributed protocols
.well-known
Proving my identity
autocomplete
neural network (vanilla, RNN, LSTM) based auto sentence completion (suggestion) system on yelp user reviews
containerd
An open and reliable container runtime
firecracker-containerd
firecracker-containerd enables containerd to manage containers as Firecracker microVMs
firecracker-go-sdk
An SDK in Go for the Firecracker microVM API
black
The uncompromising Python code formatter
C1GamesStarterKit
Starter kit for new players of Terminal. Contains starter-algo and a basic CLI for running/debugging algo's locally.
go-ethereum
Official Go implementation of the Ethereum protocol
graphql-go
GraphQL server with a focus on ease of use
incubator-eventmesh
EventMesh is a dynamic cloud-native eventing infrastruture used to decouple the application and backend middleware layer, which supports a wide range of use cases that encompass complex multi-cloud, widely distributed topologies using diverse technology stacks.
incubator-mxnet
Lightweight, Portable, Flexible Distributed/Mobile Deep Learning with Dynamic, Mutation-aware Dataflow Dep Scheduler; for Python, R, Julia, Scala, Go, Javascript and more
pytorch-cn
Pythrch-CN文档地址
smart_open
Utils for streaming large files (S3, HDFS, gzip, bz2...)