dcolish / Cockerel
An Online Logic Assistant Based on Coq
☆25Updated 12 years ago
Related projects: ⓘ
- A mini-site for checking Google's Gmail feed with Oauth.☆29Updated 14 years ago
- A python interface to WolframAlpha.☆15Updated 14 years ago
- [unmaintained] Modern project template for Python [2010]☆51Updated 13 years ago
- gaeutilities - A collection of utilities to help with application development on Google Appengine☆78Updated 13 years ago
- A simple API-framework to provide an easy to use, consistent and portable client/server-architecture (standalone and also for django, Fla…☆145Updated 10 years ago
- [unmaintained] Python version of arc90's *older* readability.js☆47Updated 12 years ago
- python-readability, but faster (mirror-ish)☆84Updated 12 years ago
- A Python version (almost a port) of ProPublica's TableFu☆231Updated 11 years ago
- Sphinx themes for Pallets projects☆164Updated 5 years ago
- A simplistic take on SimpleXML for Python☆39Updated 11 years ago
- Twitter on Tornado☆47Updated 14 years ago
- REST micro-framework for Python Twisted with multi-core support☆47Updated 10 years ago
- Python library for creating word clouds from text☆51Updated 5 years ago
- ❌ deprecated brainstorm idea voting app☆58Updated 9 years ago
- Demo showing how to use MongoDB with PyMongo from a Django project☆105Updated 13 years ago
- python abstraction for key-value databases with key-prefix scans that supports Accumulo, HBase, Postgres, Mysql, Redis, and more. Can sw…☆8Updated 9 years ago
- A Python logging handler that publishes to redis pub/sub channels☆91Updated 5 years ago
- Asynchronous python interface to the Dropbox API☆68Updated 11 years ago
- Common utilities and datastructures for Python applications☆111Updated 13 years ago
- a python port of https://github.com/twitter/twitter-text-rb also available via `pip install twitter_text`☆82Updated 6 years ago
- A blog☆33Updated 13 years ago
- Asynchronous webchat using Bottle and gevent☆62Updated 13 years ago
- Pythonic interface to redis-py☆98Updated 6 years ago
- ☆22Updated this week
- A Python port of Arc90's Readability☆28Updated 11 years ago
- The library to power Playdoh, Mozilla's Django template. File issues in playdoh:☆58Updated 6 years ago
- A Django based search engine powered by CouchDB, celery and whoosh.☆49Updated 8 years ago
- ☆72Updated this week
- Install multiple Python versions locally☆19Updated 10 years ago
- Collection of web service libraries for Tornado web framework☆20Updated 12 years ago