Pack
Tools and gear for the journey — open source projects I build and maintain.
2 projects active
Peaktime
Calculate optimal hiking start times for sunrise, golden hour, or blue hour at any summit. Four estimation models with fitness calibration.
active
Sorex
A formally verified search engine for the browser with bucketed ranking. Substring search, typo tolerance, and streaming results. Ships as a single self-contained .sorex file.