dcolish / CockerelLinks
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
Sorting:
- A mini-site for checking Google's Gmail feed with Oauth.☆29Updated 14 years ago
- Code for Get Python 3 site☆21Updated 13 years ago
- A python interface to WolframAlpha.☆15Updated 15 years ago
- A simplistic take on SimpleXML for Python☆38Updated 12 years ago
- python-readability, but faster (mirror-ish)☆84Updated 13 years ago
- official github mirror of http://code.google.com/p/microapps/wiki/Restclient☆36Updated 8 years ago
- Common utilities and datastructures for Python applications☆111Updated 13 years ago
- Sphinx themes for Pallets projects☆162Updated 5 years ago
- [unmaintained] Modern project template for Python [2010]☆51Updated 14 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
- Python graph database implemented on top of Redis☆129Updated 14 years ago
- Demo showing how to use MongoDB with PyMongo from a Django project☆105Updated 14 years ago
- too cool for me☆61Updated 12 years ago
- Asynchronous python interface to the Dropbox API☆69Updated 12 years ago
- a python port of https://github.com/twitter/twitter-text-rb also available via `pip install twitter_text`☆82Updated 7 years ago
- Official Gondor command line client☆38Updated 9 years ago
- Python library for creating word clouds from text☆51Updated 6 years ago
- A Python version (almost a port) of ProPublica's TableFu☆231Updated 11 years ago
- py-yajl provides Python bindings for the Yajl JSON encoder/decoder library☆73Updated 9 years ago
- ☆81Updated 4 years ago
- Pyramid debug toolbar☆96Updated last year
- Modern, Pythonic test automation☆102Updated 12 years ago
- ... just because nltk is too heavy☆35Updated 14 years ago
- Breve Template Engine for Python☆30Updated 10 years ago
- Spawning is a wsgi server which supports multiple processes, multiple threads, green threads, non-blocking HTTP io, and automatic gracefu…☆118Updated 12 years ago
- Webhooks for Django *experimental*☆62Updated 15 years ago
- Blingalytics is an open-source Python project for building a flexible, powerful business reporting system☆21Updated 3 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 9 years ago
- Non-plurk fork of Solace. Might eventually be merged back. Solace is a Stackoverflow inspired platform.☆63Updated 14 years ago