RISC-V Formal Verification Framework

Multiply-Accumulate and Rectified-Linear Accelerator for Neural Networks

Python optics and lens design, raytracing

Regularization paths for regression models with grouped covariates

uBlock: a fast, lightweight, and lean blocker for Chrome, Firefox, and Safari.

Introduction to parsing with Haskell and Parsec

Video editing with Python

Simple Vector Graphics for Python

An Emacs configuration bundle with batteries included

Haskell Cheat Sheets

Statistical data visualization in Python

The contents of ocharles.org.uk/blog

A window management application (replacement for Divvy/SizeUp/ShiftIt)