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/Python-in-Mac-App-Store
Barebones Python app that can be submitted to the Mac App Store.
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/nanoproxy
Small fast HTTP forward proxy in Go.
davidfstr/idris-insertion-sort
Provably correct implementation of insertion sort in Idris.
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/direncode
Encodes all video files from a source directory to a target directory, optionally continuously.
davidfstr/nc-ddns-basic
Namecheap DNS Updater client (Basic)
davidfstr/peps
Python Enhancement Proposals
davidfstr/blockly
The web-based visual programming editor.
davidfstr/cpython
The Python programming language
davidfstr/django
The Web framework for perfectionists with deadlines.
davidfstr/hbencode
Encodes video files in bulk for playback on an iPhone or iPod Touch.
davidfstr/hello-deb-package
Example of how to build a binary .deb Debian package
davidfstr/hello-vitejs-vite-stackblitz
Created with StackBlitz ⚡️
davidfstr/idris-lang.org
Idris web site
davidfstr/moment
Parse, validate, manipulate, and display dates in javascript.
davidfstr/mypy
Optional static typing for Python 2 and 3 (PEP484)
davidfstr/news_archive
Moves old emails from one IMAP mailbox to another.
davidfstr/Phoenix
wxPython's Project Phoenix. A new implementation of wxPython, better, stronger, faster than he was before.
davidfstr/pythondotorg
Source code for python.org
davidfstr/setup-poetry
Set up your GitHub Actions workflow with a specific version of Poetry
davidfstr/submit-site-to-marginalia-search
Submit websites to be crawled by Marginalia Search here
davidfstr/TypecheckVue
Experiments in typechecking Vue using TypeScript.
davidfstr/typeshed
Collection of library stubs for Python, with static types
davidfstr/typing
Work related to PEP 484: typing.py and typing_extensions.py (both released via PyPI) and issue tracker for type system bugs/features.