For sharing wordle results between friends

Obsidian language development

A TACtic library for Agda

mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics

wherein I implement several substructural logics in Agda

An emacs mode for handling Dockerfiles

Python application to solve the Chinese postman problem

My Python solution to the Chinese-Postman problem.

possible submission to icfp17, extending hazelnut with dynamics

Simple reference implementation of Hazelnut using js_of_ocaml and OCaml React. (frozen -- ongoing development in the hazel repo)

Staging area for releases to Lincoln Labs

Instruction graphs are a DSL created to move a robot in ROS. The following interpreter works for Turtlebot.

Website for hazelgrove project

POPL17 paper artifact

Submission to POPL 2017

Development of a Flexible Modeling Environment for Evaluating Subcortical Auditory Systems

Mechanization of Hazelnut, as submitted to POPL 2017

Download a copy of your Garmin Connect data, including stats and GPX tracks.