Pinned Repositories
99-Problems-in-OCaml
My solution for the problems in http://ocaml.org/learn/tutorials/99problems.html
bf.py
Brainfuck interpreter in python
controls_challenge
GlimpseOfLean
An introduction to theorem proving in Lean for the impatient.
leastcompressible.github.io
projecteuler
racketCFG
implement context free grammar using racket
random-code
it is fun
SQL_cookbook_sqlite
Practice SQL in sqlite using Anthony Molinaro's 'SQL Cookbook'
tinygrad
You like pytorch? You like micrograd? You love tinygrad! ❤️
chenyuxyz's Repositories
chenyuxyz/SQL_cookbook_sqlite
Practice SQL in sqlite using Anthony Molinaro's 'SQL Cookbook'
chenyuxyz/99-Problems-in-OCaml
My solution for the problems in http://ocaml.org/learn/tutorials/99problems.html
chenyuxyz/GlimpseOfLean
An introduction to theorem proving in Lean for the impatient.
chenyuxyz/tinygrad
You like pytorch? You like micrograd? You love tinygrad! ❤️
chenyuxyz/bf.py
Brainfuck interpreter in python
chenyuxyz/controls_challenge
chenyuxyz/leastcompressible.github.io
chenyuxyz/projecteuler
chenyuxyz/racketCFG
implement context free grammar using racket
chenyuxyz/random-code
it is fun
chenyuxyz/teenygrad
If tinygrad wasn't small enough for you...
chenyuxyz/tinyxxx
tiny corporation website