Pinned Loading

1. trycast trycast Public

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

   Python 86 6

2. Crystal-Web-Archiver Crystal-Web-Archiver Public

   Downloads websites for long-term archival.

   Python 78 7

3. rdiscount rdiscount Public

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

   C 752 68

4. techsmartkids/django-mysql-compressed-fields techsmartkids/django-mysql-compressed-fields Public

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

   Python 2 1

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

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

   Shell 95 16

6. idris-insertion-sort idris-insertion-sort Public

   Provably correct implementation of insertion sort in Idris.

   Idris 31 4