Aircraft design optimization made fast through computational graph transformations (e.g., automatic differentiation). Composable analysis tools for aerodynamics, propulsion, structures, trajectory …

Functions for simulating physical movements of a sailing boat

Nix Packages collection & NixOS

A simple, modern and secure encryption tool (and Go library) with small explicit keys, no config options, and UNIX-style composability.

Convert GCODE tool path into .makerbot.

Documenting the Xilinx 7-series bit-stream format.

Firmware images for hacking, reverse engineering, and teardown of the Ryze / DJI / Intel Movidius Tello

Use ROS with the Nix package manager

A material designed music player for Android

Linux kernel source tree

Home automation firmware for ESP8266-based devices

Python3 port of https://github.com/jobevers/python-keepasshttp.

Linux kernel source tree

Cross-Platform, Multi-Use Motion Profiling and Trajectory Generation

Open Source Computer Vision Library

Cross-platform clone of the FRC Driver Station

Java implementation of the FRC driver station and communication protocol, initially in Java and later in other languages.

An Android implementation of the new (2015...) Driver station. This app implements the new FRC communications protocol and allows for customizable UI.

Our SmartDashboard extensions.

Java code for our 2015 robot

Java code for the CMonster, FRC Team 2084's robot.