Cui Zewen's repositories
Language:Python000
GETFOL
FOL Software Archaeology
Language:Common Lisp000
Language:ScalaBSD-3-Clause000
Language:Scala000
lms-verify
generative programming & verification
Language:C000
Language:MATLAB000
SF-zh
《软件基础》中译版 Software Foundations Chinese Translation
Language:HTML000
slre
Super Light Regexp engine for C/C++
Language:CNOASSERTION000
tensorflow-practice
Tutorials of Tensorflow for beginners with popular data sets and projects. Let's have fun to learn Machine Learning with Tensorflow.
Language:Jupyter NotebookMIT000
tutorials
Tutorials on Lightweight Modular Staging
000