David Foster

icon indicating a website link https://dafoster.net/

icon company TechSmart Inc. icon location Seattle, WA, USA icon location Educator. Organizer. Digital archivist. Type system practitioner/designer. Python fan. — Making the world a better place, with software and the written word.

Results 7 repositories owned by David Foster

idris-insertion-sort

28
Stars
4
Forks
Watchers

Provably correct implementation of insertion sort in Idris.

verified publisher icon davidfstr

rdiscount

757
Stars
70
Forks
Watchers

Discount (For Ruby) Implementation of John Gruber's Markdown

verified publisher icon davidfstr

Python-in-Mac-App-Store

93
Stars
16
Forks
Watchers

Barebones Python app that can be submitted to the Mac App Store.

verified publisher icon davidfstr

Crystal-Web-Archiver

52
Stars
4
Forks
Watchers

Downloads websites for long-term archival.

verified publisher icon davidfstr

nanoproxy

52
Stars
19
Forks
Watchers

Small fast HTTP forward proxy in Go.

verified publisher icon davidfstr

trycast

71
Stars
5
Forks
Watchers

trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.

verified publisher icon davidfstr

webcrystal

28
Stars
1
Forks
Watchers

An archiving HTTP proxy and on-disk archival format for websites.

verified publisher icon davidfstr