David Foster davidfstr

Sponsoring

Pinned Loading

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

   Python 90 6

2. Downloads websites for long-term archival.

   Python 89 7

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

   C 748 67

4. A large text field, stored compressed in the database, for Django and MySQL.

   Python 2 1

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

   Shell 95 15

6. Provably correct implementation of insertion sort in Idris.

   Idris 31 4