Pinned Loading

1. gpxclean gpxclean Public

   Clean GPX files and add elevation data from SRTM files

   C# 1

2. srtm2json srtm2json Public

   Convert SRTM to JSON files

   C# 1

3. glnc/microsat glnc/microsat Public

   Forked from marijnheule/microsat

   Simple CDCL SAT solver

   C 2 1

4. tufte-lovecraft-latex tufte-lovecraft-latex Public

   Forked from Tufte-LaTeX/tufte-latex

   LaTeX class for producing books and handouts inspired by the works of Edward R. Tufte and 'The New Annotated H.P. Lovecraft' by Leslie Klinger

   TeX 5 4

5. phono-theme phono-theme Public

   JWM theme inspired by the color scheme of the Braun Regie 308 Control Unit

   Makefile 9 3