My personal website and blog
My personal home-manager config
clone of the unmaintained hourglass package on hackage
Clone of https://gitlab.com/Redrield/ds-rs
Nix packaging for the Conductor FRC driver station
Nix packaging of FRC game tools and libraries
Examples of using Haskell for FIRST Robotics Competition
Haskell bindings for FRC hardware abstraction layer (HAL)
Nix packaging of FRC hardware abstraction layer (HAL)
Type-level EDSL for Haskell FFI bindings
Nix definition of the roboRIO platform