davidfstr

David Foster's repositories

Python-in-Mac-App-Store

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

Language:ShellMIT95 10 2

nanoproxy

Small fast HTTP forward proxy in Go.

Language:GoMIT55 4 3

webcrystal

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

Language:PythonMIT35 2 6

idris-insertion-sort

Provably correct implementation of insertion sort in Idris.

Language:IdrisMIT31 2 1

notifymail

Allows scripts to send email to a preconfigured address.

Language:PythonNOASSERTION7 30

arf

Tiny research language for investigating how to type-check programs with recursive function calls.

Language:OCaml2 20

channels-chat-example

Example chat server implemented with Django Channels.

Language:PythonMIT2 30

discount

My C implementation of John Gruber's Markdown markup language

Language:CNOASSERTION2 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

plint

A Python type checker and linter that just works.

Language:OCaml1 2 1

blockly

The web-based visual programming editor.

Language:JavaScriptApache-2.0010

channels

Developer-friendly asynchrony for Django

Language:PythonBSD-3-Clause010

DailyDivider

I am a robot that tweets once every day at midnight (Pacific Time).

Language:Python000

django

The Web framework for perfectionists with deadlines.

Language:PythonBSD-3-Clause020

doppio

Breaks the browser language barrier (includes a plugin-free JVM).

Language:TypeScriptMIT000

Dropbox-Upload-Service

Web service that copies local files to Dropbox on demand.

Language:Python020

hbencode

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

Language:PythonMIT030

idris-lang.org

Idris web site

Language:CSS010

meetupfilter

Notifies you of new *active* Meetup.com groups in your area.

Language:PythonNOASSERTION020

moment

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

Language:JavaScriptMIT010

news_archive

Moves old emails from one IMAP mailbox to another.

Language:Python020

pythondotorg

Source code for python.org

Language:PythonApache-2.0010

renameregex

Renames files in bulk using regular expressions.

Language:PythonNOASSERTION02 1

setup-poetry

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

Language:TypeScriptMIT010

TypecheckVue

Experiments in typechecking Vue using TypeScript.

Language:HTML010

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:PythonNOASSERTION010

update_noip

Refreshes all your hostnames on no-ip.com

Language:Python020

urllib3

Python HTTP library with thread-safe connection pooling, file post support, sanity friendly, and more.

Language:PythonNOASSERTION020

vidcrush

Reduces the byte size of a video file by reencoding it at half width and height.

Language:Python020