Graph-based concurrent middleware in Rust — the reference implementation of the
non-deterministic transitioning Petri net formalism. Ships with PlotMux, a realtime debugging
application that multiplexes 2D plots, images, and text out of a running net so bottlenecks are
visible per transition.
Rust13 stars
MITConcurrency middleware
Interprets a Petri net described in DOT and emits corresponding C/C++ templates targeting an
arbitrary operating system — the earlier, code-generation approach to the same problem.
Python4 stars
Code generationArchived
Open source, security-focused, distributed social media platform. Blockchain-backed store with
a CLI and web front end, built in Go with CI.
Go2 stars
MITDistributed systems
Turns second-hand Android phones into low-cost robotics platforms — a chrooted Ubuntu image
running on-device, exposing the phone's camera, IMU, and GPS. Built to cut cost and development
time for experimental robots at the University of Florida Machine Intelligence Laboratory.
ShellEmbedded Linux
ROS / catkinLow-cost robotics
Video record from the University of Florida's 2019 Virtual RobotX (VRX) maritime autonomy
campaign.
Maritime autonomyCompetition
Archived
18 public repositories. GitHub Arctic Code Vault Contributor.
RustGoPython
C++Shell