Stars
RISC-V Formal Verification Framework
Multiply-Accumulate and Rectified-Linear Accelerator for Neural Networks
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
An Emacs configuration bundle with batteries included
A window management application (replacement for Divvy/SizeUp/ShiftIt)