Giters
chenyu (chenyuxyz)

chenyuxyz

Geek Repo

105

followers

5

following

81

stars

Company:@tinygrad

Github PK Tool:Github PK Tool

chenyu's repositories

SQL_cookbook_sqlite

Practice SQL in sqlite using Anthony Molinaro's 'SQL Cookbook'

Stargazers:3Issues:1Issues:0

99-Problems-in-OCaml

My solution for the problems in http://ocaml.org/learn/tutorials/99problems.html

Language:OCamlStargazers:1Issues:1Issues:0

GlimpseOfLean

An introduction to theorem proving in Lean for the impatient.

Language:LeanLicense:Apache-2.0Stargazers:1Issues:0Issues:0

tinygrad

You like pytorch? You like micrograd? You love tinygrad! ❤️

Language:PythonLicense:MITStargazers:1Issues:0Issues:0

bf.py

Brainfuck interpreter in python

Language:PythonStargazers:0Issues:1Issues:0

controls_challenge

Language:PythonStargazers:0Issues:0Issues:0

leastcompressible.github.io

Stargazers:0Issues:1Issues:0

projecteuler

Language:C++Stargazers:0Issues:1Issues:0

racketCFG

implement context free grammar using racket

Language:RacketStargazers:0Issues:1Issues:0

random-code

it is fun

Language:OCamlStargazers:0Issues:1Issues:0

teenygrad

If tinygrad wasn't small enough for you...

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

tinyxxx

tiny corporation website

Stargazers:0Issues:0Issues:0