Pinned Repositories
faceai
一款入门级的人脸、视频、文字检测以及识别的项目.
formal-method
Coq and Z3 Lab Assignments
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
OpenCV-demo
This project contain some OpenCV demo that we use frequently.
ps-lite
A lightweight parameter server interface
pytorch-generative-model-collections
Collection of generative models in Pytorch version.
raft.tla
TLA+ specification for the Raft consensus algorithm
tlaplus-at-nju-disalg
Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).
Web
千古前端图文教程，超详细的前端入门到进阶学习笔记。从零开始学前端，做一名精致优雅的前端工程师。
web-test
xiaoxiaoei's Repositories
xiaoxiaoei/youtube_channel
Notebooks for the python tutorials of my youtube channel. See specific youtube video for link to specifc notebook.
xiaoxiaoei/Web
千古前端图文教程，超详细的前端入门到进阶学习笔记。从零开始学前端，做一名精致优雅的前端工程师。
xiaoxiaoei/formal-method
Coq and Z3 Lab Assignments
xiaoxiaoei/tlaplus-at-nju-disalg
Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).
xiaoxiaoei/web-test
xiaoxiaoei/yousan.ai
Awesome resources of yousan.ai(closely related to deep learning).
xiaoxiaoei/faceai
一款入门级的人脸、视频、文字检测以及识别的项目.
xiaoxiaoei/pytorch-generative-model-collections
Collection of generative models in Pytorch version.
xiaoxiaoei/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
xiaoxiaoei/ps-lite
A lightweight parameter server interface
xiaoxiaoei/raft.tla
TLA+ specification for the Raft consensus algorithm
xiaoxiaoei/OpenCV-demo
This project contain some OpenCV demo that we use frequently.