Pat Hickey

md380-re. MD380 DMR Radio Reverse Engineering

task-group. Rust

paparazzi-linux-release. A fork of the Paparazzi project targeting Linux-based autopilot hardware

arduino-freertos-libs. A distribution of FreeRTOS as an Arduino library

gcc-sam3u-build. Build scripts for sam3u w/ at91lib 1.6 using arm-none-eabi-gcc

Libre-MP-Bootloader. PX4 Bootloader for PX4FMU, PX4IO and PX4FLOW

wasi_http_strawman. Makefile

purple-ardupilot-mega. A branch of ardupilot-mega for supporting "purple" hardware

frontc. A fork of Hugues Casse's frontc, an OCAML C parser and pretty-printer.

hs-qkf. A quaternion Kalman filter for attitude filtration, written in Haskell

atom-outer-product. A demonstration of a linear algebra outer product in the Atom Haskell eDSL

pwasm-validator. Extraction of the wasmi validator for the parity-wasm package

sfwasmdec19_witx_talk. Slides for my talk on witx at SF Wasm meetup, December 2019

ruaiaa-2010doc. Rutgers Autonomous Aircraft Team's 2010 UAS Competition Documentation

sprout. a toy expression language for a small vm

hexf. Hexadecimal float support for Rust 1.15 or later

vim-config. My .vim directory

system-interface. Extensions to the Rust standard library

forthright. a toy forth-like lang

p4l-ahrs. Firmware for an Arduino-based Attitude and Heading Reference Sensor (AHRS), a subset of the Paparazzi for Linux project. Right now it supports the STMicro LSM303 three-axis accellerometer and magnetometer

wasi-http-demos. Rust

vim-gidl. vim mode for Gidl

mavstation-daughterboard. Firmware for the Mavstation daughterboard, based on the PX4 project Firmware.

MAVProxy. MAVLink proxy and command line ground station

cap-std. Capability-oriented version of the Rust standard library

bytecodealliance-governance. Documents related to Bytecode Alliance governance and process

witx-nice-rust-interface. some experimental witx stuff. my ideas are bad and the implementation is worse

wasi-libc. WASI libc implementation for WebAssembly

posish. Safe Rust bindings to POSIX-ish APIs

witx-test. randomized testing of witx

cm-examples. some component model examples

stack. The Haskell Tool Stack

wat. Rust WAT and WAST parser (WebAssembly Text Format)

mecha. A solid modeling language in Haskell.

mavlink. MAVLink micro air vehicle marshalling / communication library

rust-sexpr. a toy library i'm using to learn rust