code and repos

Most of my public code is available on my github page. Some selected projects are pinned :pushpin: :star: here.

Selected GitHub Repositories

Cards are static images refreshed weekly by a GitHub Action, not fetched live -- so they keep working even when third-party rendering services are unavailable.