Pinned

1. rdiscount Public

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

   C 755 67

2. trycast Public

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

   Python 30 4

3. Python-in-Mac-App-Store Public

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

   Shell 78 15

4. idris-insertion-sort Public

   Provably correct implementation of insertion sort in Idris.

   Idris 27 4

5. Crystal-Web-Archiver Public

   Downloads websites for long-term archival.

   Python 6

6. nanoproxy Public

   Small fast HTTP forward proxy in Go.

   Go 24 12