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:
- Python library for creating word clouds from text☆51Updated 6 years ago
- A python interface to WolframAlpha.☆15Updated 15 years ago
- A mini-site for checking Google's Gmail feed with Oauth.☆29Updated 15 years ago
- A visualizer for multi-dimensional semantic data☆38Updated 14 years ago
- A simplistic take on SimpleXML for Python☆39Updated 12 years ago
- Non-plurk fork of Solace. Might eventually be merged back. Solace is a Stackoverflow inspired platform.☆62Updated 15 years ago
- A Django based search engine powered by CouchDB, celery and whoosh.☆48Updated 10 years ago
- A Python version (almost a port) of ProPublica's TableFu☆230Updated 12 years ago
- Convert URL's to a normalized unicode format☆67Updated 7 years ago
- Common utilities and datastructures for Python applications☆112Updated 14 years ago
- Sphinx themes for Pallets projects☆165Updated 6 years ago
- Python to Javascript compiler☆55Updated 14 years ago
- collection of modules to build distributed and reliable concurrent systems in Python.☆206Updated 12 years ago
- a Simple API for RDF☆29Updated 16 years ago
- py-yajl provides Python bindings for the Yajl JSON encoder/decoder library☆73Updated 10 years ago
- Python bindings for Neo4j☆59Updated 13 years ago
- A command-line and programmatic interface to various social sharecount endpoints.☆30Updated 7 years ago
- INTERVAL field for PostgreSQL (and an approximation for other backends)☆21Updated 2 years ago
- Bash-style pipelining for Python generators.☆17Updated 14 years ago
- A blog☆33Updated 14 years ago
- Akara is an open-source (Apache2 license) Web framework specialized for RESTful data services, especially involving XML and other semi-st…☆25Updated 12 years ago
- Code for Get Python 3 site☆21Updated 14 years ago
- REST micro-framework for Python Twisted with multi-core support☆47Updated 11 years ago
- Blingalytics is an open-source Python project for building a flexible, powerful business reporting system☆21Updated 4 years ago
- an HTTP resource kit for Python☆403Updated 4 years ago
- Django application for adding BrowserID support.☆177Updated 9 years ago
- Maybe next gen of Pyzo IDE based on Flexx☆17Updated 8 years ago
- PyLucid is ready to use Django-CMS setup☆71Updated 4 years ago
- A Python implementation of the Double Metaphone algorithm☆61Updated 15 years ago
- Code for High Performance Computing tutorial for EuroPython 2011☆104Updated 4 years ago