davidfstr
Educator. Organizer. Digital archivist. Type system practitioner/designer. Python fan. — Making the world a better place, with software and the written word.
Repositories
Select a repository to view its commits, contributors, and more.rdiscount
Discount (For Ruby) Implementation of John Gruber's Markdown
Python-in-Mac-App-Store
Barebones Python app that can be submitted to the Mac App Store.
trycast
trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.
Crystal-Web-Archiver
Downloads websites for long-term archival.
nanoproxy
Small fast HTTP forward proxy in Go.
webcrystal
An archiving HTTP proxy and on-disk archival format for websites.
idris-insertion-sort
Provably correct implementation of insertion sort in Idris.
ClassicBox
Allows one-click installation of Mac OS 0.x - 9.x software.
Uhuru
A translation assistant for reading Japanese text quickly.
notifymail
Allows scripts to send email to a preconfigured address.
YouTube-iTunes-Sync
Syncs a YouTube music playlist with iTunes.
pydeps
Visualizes Python module dependencies.