All Git Users → davidfstr

4 open source projects by davidfstr

[ Open user page on Github ]

1. Idris Insertion Sort

Provably correct implementation of insertion sort in Idris.

✭ 24

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

✭ 756

c markdown markdown-parser

3. Python-in-Mac-App-Store

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

✭ 81

shell python distribution mac-app-store

Small fast HTTP forward proxy in Go.

✭ 31

1-4 of 4 user projects