Dan

Results 6 repositories owned by Dan

BusinessCat

6
Stars
0
Forks
Watchers

Taking care of business!

Cockerel

25
Stars
4
Forks
Watchers

An Online Logic Assistant Based on Coq

flask-markdown

198
Stars
40
Forks
Watchers

Markdown jinja2 extension for Flask

fusionsql

7
Stars
1
Forks
Watchers

Python client for Fusion Tables

karmabot

5
Stars
1
Forks
Watchers

A highly extensible IRC karma+information bot written in Python.

purely-fun

34
Stars
2
Forks
Watchers

Purely Functional Data Structures