This is my next generation of bike POV displays with extended functionality, a more polished design and an easier user-experience.

A Gaggia Classic control project using microcontrollers.

Basic espresso machine controls based on Arduino Nano extension board.

Accurate geometric camera calibration with generic camera models

A Verified Compiler for Gallina, Written in Gallina

CA property tax visualization

Pytest plugin to report valgrind errors – might help to narrow down leaks

Pytest plugin reporting valgrind errors as test failures

A conda-forge distribution.

Meta-package providing the oldest supported Numpy for a given Python version and platform

Airspeed Velocity: A simple Python benchmarking tool with web-based reporting

An opinionated set of Azure Pipelines templates for Python projects using pyproject.toml (PEP517) and tox

The Sphinx documentation generator

A Python utility / library to sort imports.

pytz Python historical timezone library and database

The uncompromising Python code formatter

Easy to use OpenStreetMap editor for Android

Fast NumPy array functions written in C

A dashboard for SF Planning Department data

A command-line benchmarking tool

San Francisco housing construction history and associated data

SciPy library main repository

The pytest framework makes it easy to write small tests, yet scales to support complex functional testing

a fast, scalable, multi-language and extensible build system

Hypothesis is a powerful, flexible, and easy to use library for property-based testing.

Software to automate the management and configuration of any infrastructure or application at scale. Install Salt from the Salt package repositories here: