Calvin Daniel Woo's repositories
steins-method
Implementation of kernelized Stein discrepancy and experiements with Stein variational gradient descent.
uiuc-cs421
Learning about compilers and stuff. In OCaml.
calwoo.github.io
Personal blog built with Hakyll.
categorical-notes
Notes on categorical notions in functional programming, via Haskell.
probability-haskell-notes
Notes on probabilistic functional programming in Haskell. For personal learning usage.
anglican-notes
Personal notes on Anglican and probabilistic programming.
essentials-of-compilation-python
Support for for students (Python)
game-theory
Learning a bit of game theory.
gauss
Just some notes on gaussian processes.
golearn
Notes on me trying to learn Golang.
graph-notes
Notes on graph algorithms.
haskell-notes
A repository of my personal notes on topics in Haskell.
hyperbolic
Experiments in hyperbolic geometry and graph embeddings.
learning-cuda
Notes and worked-through tutorials from learning CUDA programming.
mars
EC2 clusters for distributed deep learning launched by Terraform.
mlcompiler-notes
Notes on ML compilation.
monad-transformer-notes
Notes on monad transformers. Will get updated as I read more stuff.
prismatic-cohomology-notes
TeXed up notes on the theory of Bhatt-Scholze prismatic cohomology.
pylox
Python port of the Lox programming language from "Crafting Interpreters".
python-algos-and-ds
Notes on algorithms and data structures.
pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
robotics-notes
Personal notes on robotics and ROS, from various sources.
todo-hask
A simple todo app in Haskell.
toy-lang
Learning how to build a basic compiler for a Lisp-like language.