vreithinger

vreithinger's Stars

• lmarzen/esp32-weather-epd

  A low-power E-Paper weather display powered by an ESP32 microcontroller. Utilizes the OpenWeatherMap API.

  Language:C4.3k55105268

• artisticat1/obsidian-latex-suite

  Make typesetting LaTeX as fast as handwriting through snippets, text expansion, and editor enhancements

  Language:TypeScript1.4k428057

• jackyzha0/sunlit

  a pure css implementation of some sunlight streaming in through the window

  Language:CSS6183023

• eigenchris/MathNotes

  Language:Python21121540

• dartar/cvtex

  XeTeX cv templates

  1579145

• andre-st/goodreads-toolbox

  9 tools for Goodreads.com, for finding people based on the books they’ve read, finding books popular among the people you follow, following new book reviews, etc

  Language:Perl837407

• kaiiyer/hackathon

  A collection of Boilerplates and Resources for Hackathons

  803319

• leanprover-community/format_lean

  A Lean file formatter

  Language:Python641189

• leanprover-community/sphere-eversion

  Formalization of the existence of sphere eversions

  Language:Lean36145210