zhaoguowang

Pinned Repositories

janus
Language:C++49 5 1121
Examples
A collection of TLA+ specifications of varying complexities
Language:TLA00
Neural-Networks-Examples
Use different frameworks to implement different neural nets
Language:TeX0 2 00
software-foundations
Mirror of “Software Foundations”, by Benjamin Pierce et al.
Language:HTML00
Sweethome
Language:C++00

zhaoguowang's Repositories

zhaoguowang/Examples
A collection of TLA+ specifications of varying complexities
Language:TLA00
zhaoguowang/Neural-Networks-Examples
Use different frameworks to implement different neural nets
Language:TeX0 2 00
zhaoguowang/software-foundations
Mirror of “Software Foundations”, by Benjamin Pierce et al.
Language:HTML00
zhaoguowang/Sweethome
Language:C++00