davidfstr

David Foster's repositories

rdiscount

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

Language:CNOASSERTION757 21 126

Python-in-Mac-App-Store

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

Language:ShellMIT93 10 2

trycast

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

Language:PythonMIT70 7 20

nanoproxy

Small fast HTTP forward proxy in Go.

Language:GoMIT52 4 3

Crystal-Web-Archiver

Downloads websites for long-term archival.

Language:Python49 2 189

idris-insertion-sort

Provably correct implementation of insertion sort in Idris.

Language:IdrisMIT28 3 1

webcrystal

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

Language:PythonMIT28 2 6

dotfiles

My command line customizations for OS X.

Language:PythonNOASSERTION4 30

dafoster.net

My personal website. Good example of a complex Jekyll site.

Language:JavaScript3 2 22

davidfstr.github.com

Deployed version of my website.

Language:HTML1 20

direncode

Encodes all video files from a source directory to a target directory, optionally continuously.

Language:PythonMIT1 2 2

nc-ddns-basic

Namecheap DNS Updater client (Basic)

Language:ShellMIT1 20

peps

Python Enhancement Proposals

Language:Python100

blockly

The web-based visual programming editor.

Language:JavaScriptApache-2.0010

cpython

The Python programming language

Language:PythonNOASSERTION010

django

The Web framework for perfectionists with deadlines.

Language:PythonBSD-3-Clause020

hbencode

Encodes video files in bulk for playback on an iPhone or iPod Touch.

Language:PythonMIT030

hello-deb-package

Example of how to build a binary .deb Debian package

Language:Dockerfile000

hello-vitejs-vite-stackblitz

Created with StackBlitz ⚡️

Language:Vue000

idris-lang.org

Idris web site

Language:CSS000

moment

Parse, validate, manipulate, and display dates in javascript.

Language:JavaScriptMIT010

mypy

Optional static typing for Python 2 and 3 (PEP484)

Language:PythonNOASSERTION020

news_archive

Moves old emails from one IMAP mailbox to another.

Language:Python020

Phoenix

wxPython's Project Phoenix. A new implementation of wxPython, better, stronger, faster than he was before.

Language:Python010

pythondotorg

Source code for python.org

Language:PythonApache-2.0010

setup-poetry

Set up your GitHub Actions workflow with a specific version of Poetry

Language:TypeScriptMIT010

submit-site-to-marginalia-search

Submit websites to be crawled by Marginalia Search here

NOASSERTION000

TypecheckVue

Experiments in typechecking Vue using TypeScript.

Language:HTML010

typeshed

Collection of library stubs for Python, with static types

Language:PythonNOASSERTION020

typing

Work related to PEP 484: typing.py and typing_extensions.py (both released via PyPI) and issue tracker for type system bugs/features.

Language:PythonNOASSERTION000