calwoo
I really enjoy birds. And machine learning, and homotopy type theory, and functional programming, and...
Prognos.aiNew York, NY
Pinned Repositories
calwoo.github.io
Personal blog built with Hakyll.
categorical-notes
Notes on categorical notions in functional programming, via Haskell.
cis194
A while back I tried to learn some Haskell after attending a homotopy theory seminar on the topic. So I went and saw UPenn's CIS 194 course and ended up trying to go through all the exercises and lectures.
cloud-vae
A variational autoencoder model for generating 3D point clouds.
delimited
An implementation of delimited continuations, with examples.
ppl-notes
Notes on probabilistic programming and Bayesian deep learning
probability-haskell-notes
Notes on probabilistic functional programming in Haskell. For personal learning usage.
steins-method
Implementation of kernelized Stein discrepancy and experiements with Stein variational gradient descent.
uiuc-cs421
Learning about compilers and stuff. In OCaml.
variational-inference-gmm
A gaussian mixture model solved via variational inference. Attached with my own mathematical notes.
calwoo's Repositories
calwoo/steins-method
Implementation of kernelized Stein discrepancy and experiements with Stein variational gradient descent.
calwoo/delimited
An implementation of delimited continuations, with examples.
calwoo/cloud-vae
A variational autoencoder model for generating 3D point clouds.
calwoo/ppl-notes
Notes on probabilistic programming and Bayesian deep learning
calwoo/uiuc-cs421
Learning about compilers and stuff. In OCaml.
calwoo/calwoo.github.io
Personal blog built with Hakyll.
calwoo/categorical-notes
Notes on categorical notions in functional programming, via Haskell.
calwoo/probability-haskell-notes
Notes on probabilistic functional programming in Haskell. For personal learning usage.
calwoo/anglican-notes
Personal notes on Anglican and probabilistic programming.
calwoo/essentials-of-compilation-python
Support for for students (Python)
calwoo/etalang
calwoo/game-theory
Learning a bit of game theory.
calwoo/gauss
Just some notes on gaussian processes.
calwoo/golearn
Notes on me trying to learn Golang.
calwoo/graph-notes
Notes on graph algorithms.
calwoo/haskell-notes
A repository of my personal notes on topics in Haskell.
calwoo/hyperbolic
Experiments in hyperbolic geometry and graph embeddings.
calwoo/learning-cuda
Notes and worked-through tutorials from learning CUDA programming.
calwoo/mars
EC2 clusters for distributed deep learning launched by Terraform.
calwoo/mlcompiler-notes
Notes on ML compilation.
calwoo/monad-transformer-notes
Notes on monad transformers. Will get updated as I read more stuff.
calwoo/prismatic-cohomology-notes
TeXed up notes on the theory of Bhatt-Scholze prismatic cohomology.
calwoo/pylox
Python port of the Lox programming language from "Crafting Interpreters".
calwoo/python-algos-and-ds
Notes on algorithms and data structures.
calwoo/pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
calwoo/qlearn
Learning about quantum computing/QML.
calwoo/robotics-notes
Personal notes on robotics and ROS, from various sources.
calwoo/teleport
A basic file warpgate-creator CLI tool, written in Rust.
calwoo/todo-hask
A simple todo app in Haskell.
calwoo/toy-lang
Learning how to build a basic compiler for a Lisp-like language.