davidfstr
Educator. Organizer. Digital archivist. Type system practitioner/designer. Python fan. — Making the world a better place, with software and the written word.
TechSmart Inc.Seattle, WA, USA
Pinned Repositories
ClassicBox
Allows one-click installation of Mac OS 0.x - 9.x software.
Crystal-Web-Archiver
Downloads websites for long-term archival.
idris-insertion-sort
Provably correct implementation of insertion sort in Idris.
nanoproxy
Small fast HTTP forward proxy in Go.
Python-in-Mac-App-Store
Barebones Python app that can be submitted to the Mac App Store.
rdiscount
Discount (For Ruby) Implementation of John Gruber's Markdown
trycast
trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.
Uhuru
A translation assistant for reading Japanese text quickly.
webcrystal
An archiving HTTP proxy and on-disk archival format for websites.
django-mysql-compressed-fields
A large text field, stored compressed in the database, for Django and MySQL.
davidfstr's Repositories
davidfstr/rdiscount
Discount (For Ruby) Implementation of John Gruber's Markdown
davidfstr/trycast
trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.
davidfstr/Crystal-Web-Archiver
Downloads websites for long-term archival.
davidfstr/webcrystal
An archiving HTTP proxy and on-disk archival format for websites.
davidfstr/dotfiles
My command line customizations for OS X.
davidfstr/dafoster.net
My personal website. Good example of a complex Jekyll site.
davidfstr/davidfstr.github.com
Deployed version of my website.
davidfstr/peps
Python Enhancement Proposals
davidfstr/aaronsw.daarchive.net
Aaron Swartz - Archived Jan 2013
davidfstr/animeworld.daarchive.net
Akemi's Anime World - Archived Feb 2023
davidfstr/beartype
Unbearably fast near-real-time hybrid runtime-static type-checking in pure Python.
davidfstr/bongocat.daarchive.net
Bongo Cat - Archived Mar 2021
davidfstr/cpython
The Python programming language
davidfstr/daarchive.net
DaArchive: Preserved websites from across the internet
davidfstr/folklore.daarchive.net
Folklore.org - Archived Jun 2025
davidfstr/getmdl.daarchive.net
Material Design Lite - Archived Sep 2023
davidfstr/gunnerkrigg.daarchive.net
Gunnerkrigg Court - Archived July 2022
davidfstr/hello-deb-package
Example of how to build a binary .deb Debian package
davidfstr/hello-vitejs-vite-stackblitz
Created with StackBlitz ⚡️
davidfstr/insidemac.daarchive.net
Inside Macintosh PDFs - Archived Apr 2021
davidfstr/mypy
Optional static typing for Python 2 and 3 (PEP484)
davidfstr/Phoenix
wxPython's Project Phoenix. A new implementation of wxPython, better, stronger, faster than he was before.
davidfstr/projectlafiel.daarchive.net
Project Lafiel - Archived Mar 2021
davidfstr/ranma.daarchive.net
The Penultimate Ranma Fanfic Index - Archived Dec 2011
davidfstr/sicp.daarchive.net
Structure and Interpretation of Computer Programs - Archived Sep 2025
davidfstr/submit-site-to-marginalia-search
Submit websites to be crawled by Marginalia Search here
davidfstr/tmffa.daarchive.net
The Tenchi Muyo Fan Fiction Archive - Archived Dec 2011
davidfstr/typeshed
Collection of library stubs for Python, with static types
davidfstr/willingc
davidfstr/xkcd.daarchive.net
xkcd Comic Site - Archived 2021