chenyu's repositories
SQL_cookbook_sqlite
Practice SQL in sqlite using Anthony Molinaro's 'SQL Cookbook'
99-Problems-in-OCaml
My solution for the problems in http://ocaml.org/learn/tutorials/99problems.html
GlimpseOfLean
An introduction to theorem proving in Lean for the impatient.
Language:Python000
random-code
it is fun
teenygrad
If tinygrad wasn't small enough for you...
Language:PythonMIT000
tinyxxx
tiny corporation website
000