Hanzhi

icon company @RiemaLabs icon location US icon location Proof Idiot, PhD @ UCSB, @ Riema Labs

Results 3 repositories owned by Hanzhi

AwesomePL

16
Stars
1
Forks
Watchers

A Collection of Papers & Notes in Programming Language & Formal Verification

verified publisher icon MisakaCenter

Chi

16
Stars
0
Forks
Watchers

🍀 Chi is a subset of Common Lisp, implemented in Python3. Yet another mal.

verified publisher icon MisakaCenter

RayTracer.ml

18
Stars
0
Forks
Watchers

🌈 Path tracer implemented in OCaml based on "Ray Tracing in One Weekend"

verified publisher icon MisakaCenter