dcolish / Cockerel
An Online Logic Assistant Based on Coq
☆25Updated 12 years ago
Related projects ⓘ
Alternatives and complementary repositories for Cockerel
- A python interface to WolframAlpha.☆15Updated 14 years ago
- A mini-site for checking Google's Gmail feed with Oauth.☆29Updated 14 years ago
- A simplistic take on SimpleXML for Python☆39Updated 11 years ago
- MVC web framework in Python with Gevent, Jinja2, Werkzeug, SqlAlchemy, SASS☆45Updated last year
- Common utilities and datastructures for Python applications☆111Updated 13 years ago
- Code for Get Python 3 site☆21Updated 13 years ago
- Twitter on Tornado☆47Updated 15 years ago
- Error handling and testing libraries for web sites☆88Updated 4 years ago
- A lightweight framework for writing asynchronous network applications in Python.☆167Updated 7 years ago
- the totally denied python microframework for scaling enthusiasts☆110Updated 14 years ago
- Django application for adding BrowserID support.☆180Updated 8 years ago
- A Django based search engine powered by CouchDB, celery and whoosh.☆49Updated 8 years ago
- Official Gondor command line client☆38Updated 8 years ago
- python-readability, but faster (mirror-ish)☆84Updated 12 years ago
- A Python port of Arc90's Readability☆28Updated 11 years ago
- a question and answer app a la StackOverflow☆50Updated 10 years ago
- Full Text searching on Google AppEngine☆87Updated 15 years ago
- Python graph database implemented on top of Redis☆130Updated 13 years ago
- [unmaintained] Python version of arc90's *older* readability.js☆47Updated 13 years ago
- Python client library for juggernaut☆26Updated 12 years ago
- Python library for creating word clouds from text☆51Updated 5 years ago
- A git mirror of flask-lesscss.☆25Updated 6 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
- Command line utilities☆32Updated 10 years ago
- Manage uploaded documents (pdfs) with backend cloud processing of the pdfs into individual pngs per page☆103Updated 10 years ago
- REST micro-framework for Python Twisted with multi-core support☆47Updated 10 years ago
- Web hook task queue.☆98Updated 8 years ago
- Non-plurk fork of Solace. Might eventually be merged back. Solace is a Stackoverflow inspired platform.☆64Updated 14 years ago
- A Python face detector module written in C with OpenCV. (Includes a sample Django project to show how to bring face detection to your web…☆22Updated 4 years ago