dcolish / Cockerel
An Online Logic Assistant Based on Coq
☆25Updated 13 years ago
Alternatives and similar repositories for Cockerel:
Users that are interested in Cockerel are comparing it to the libraries listed below
- A python interface to WolframAlpha.☆15Updated 15 years ago
- A mini-site for checking Google's Gmail feed with Oauth.☆29Updated 14 years ago
- python-readability, but faster (mirror-ish)☆84Updated 13 years ago
- MVC web framework in Python with Gevent, Jinja2, Werkzeug, SqlAlchemy, SASS☆45Updated 2 years ago
- collection of modules to build distributed and reliable concurrent systems in Python.☆205Updated 11 years ago
- Generate memes from http://memegenerator.co☆29Updated last year
- Demo showing how to use MongoDB with PyMongo from a Django project☆105Updated 13 years ago
- Breve Template Engine for Python☆30Updated 10 years ago
- Convert URL's to a normalized unicode format☆67Updated 7 years ago
- Code for Get Python 3 site☆21Updated 13 years ago
- File-like object for interacting with files stored on Amazon S3.☆20Updated 8 years ago
- Command line utilities☆32Updated 11 years ago
- gaeutilities - A collection of utilities to help with application development on Google Appengine☆78Updated 14 years ago
- Twitter on Tornado☆47Updated 15 years ago
- Asynchronous python interface to the Dropbox API☆68Updated 11 years ago
- a python port of https://github.com/twitter/twitter-text-rb also available via `pip install twitter_text`☆82Updated 7 years ago
- The Bottle Plugin Collection (beta)☆63Updated 2 years ago
- templatemaker is a Python library that can extract data from files with a similar format, like HTML pages.☆63Updated 4 years ago
- A pure python implementation of JavaScript, just because.☆25Updated 13 years ago
- A simplistic take on SimpleXML for Python☆38Updated 11 years ago
- The library to power Playdoh, Mozilla's Django template. File issues in playdoh:☆58Updated 7 years ago
- A Flask skeleton for Apache/mod_wsgi deployment and many other goodies☆181Updated 5 years ago
- Python bindings for Neo4j☆59Updated 12 years ago
- Web hook task queue.☆98Updated 8 years ago
- [unmaintained] Modern project template for Python [2010]☆51Updated 14 years ago
- Straightforward concurrency for Python☆112Updated 8 years ago
- Python-based high-performance web tools - see http://chris.improbable.org/2010/01/30/quickly-testing-your-sites-using-webtoolbox/ for an …☆21Updated 7 years ago
- A Python version (almost a port) of ProPublica's TableFu☆231Updated 11 years ago
- Modularly extensible semantic metadata validator☆84Updated 9 years ago
- A set of Django template filters to make caring about typography on the web a bit easier.☆168Updated 3 months ago