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 14 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
- [unmaintained] Modern project template for Python [2010]☆51Updated 14 years ago
- Twitter on Tornado☆47Updated 15 years ago
- Code for Get Python 3 site☆21Updated 13 years ago
- Turns python objects into mongo objects and vice versa☆138Updated 11 months ago
- Install multiple Python versions locally☆18Updated 11 years ago
- collection of modules to build distributed and reliable concurrent systems in Python.☆205Updated 11 years ago
- Error handling and testing libraries for web sites☆88Updated 4 years ago
- MVC web framework in Python with Gevent, Jinja2, Werkzeug, SqlAlchemy, SASS☆45Updated last year
- Blingalytics is an open-source Python project for building a flexible, powerful business reporting system☆21Updated 3 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
- Demo showing how to use MongoDB with PyMongo from a Django project☆105Updated 13 years ago
- Asynchronous python interface to the Dropbox API☆68Updated 11 years ago
- ☆81Updated 4 years ago
- REST micro-framework for Python Twisted with multi-core support☆47Updated 10 years ago
- A simplistic take on SimpleXML for Python☆39Updated 11 years ago
- NEW REPO LOCATION: http://github.com/rbarrois/factory_boy. Raphaël Barrois has taken over factory_boy development. Please open issues and…☆248Updated 8 years ago
- py-yajl provides Python bindings for the Yajl JSON encoder/decoder library☆73Updated 9 years ago
- Bash-style pipelining for Python generators.☆17Updated 13 years ago
- Css, scss, js parser and linker. Also framework for working with static files☆52Updated 11 years ago
- A Python logging handler that publishes to redis pub/sub channels☆91Updated 6 years ago
- Performance monitoring tools for Django☆109Updated 12 years ago
- Webhooks for Django *experimental*☆63Updated 15 years ago
- A collection of Fabric utilities largely for Django deployment.☆27Updated 11 years ago
- A Jinja2 inspired templating language for rendering JSON data on the server and client.☆84Updated 13 years ago
- Code for High Performance Computing tutorial for EuroPython 2011☆104Updated 3 years ago
- Profile your Django site using Google Chrome's SpeedTracer☆120Updated 12 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