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
Sorting:
- A python interface to WolframAlpha.☆15Updated 15 years ago
- A mini-site for checking Google's Gmail feed with Oauth.☆29Updated 14 years ago
- Common utilities and datastructures for Python applications☆111Updated 13 years ago
- gaeutilities - A collection of utilities to help with application development on Google Appengine☆78Updated 14 years ago
- MVC web framework in Python with Gevent, Jinja2, Werkzeug, SqlAlchemy, SASS☆45Updated 2 years ago
- Sphinx themes for Pallets projects☆163Updated 5 years ago
- official github mirror of http://code.google.com/p/microapps/wiki/Restclient☆36Updated 8 years ago
- relocatable python virtual environment☆63Updated 13 years ago
- Code for Get Python 3 site☆21Updated 13 years ago
- python-readability, but faster (mirror-ish)☆84Updated 13 years ago
- [unmaintained] Modern project template for Python [2010]☆51Updated 14 years ago
- A Jinja2 inspired templating language for rendering JSON data on the server and client.☆84Updated 13 years ago
- A Python version (almost a port) of ProPublica's TableFu☆231Updated 11 years ago
- Modern, Pythonic test automation☆102Updated 12 years ago
- A lightweight framework for writing asynchronous network applications in Python.☆166Updated 7 years ago
- A pure python implementation of JavaScript, just because.☆25Updated 13 years ago
- Python bindings for Neo4j☆59Updated 12 years ago
- The library to power Playdoh, Mozilla's Django template. File issues in playdoh:☆58Updated 7 years ago
- Blingalytics is an open-source Python project for building a flexible, powerful business reporting system☆21Updated 3 years ago
- A Python port of Arc90's Readability☆28Updated 11 years ago
- Command line utilities☆32Updated 11 years ago
- Python client lib for Facebook's new Graph API☆84Updated 3 years ago
- Bash-style pipelining for Python generators.☆17Updated 14 years ago
- A Python Package Manager☆21Updated 11 years ago
- An object RESTational model☆194Updated 10 months ago
- Css, scss, js parser and linker. Also framework for working with static files☆52Updated 11 years ago
- A fork of python-tumblr by ryan.a.cox☆22Updated 14 years ago
- Ultra fast memcache client written in highly optimized C++ with Python bindings.☆264Updated 8 years ago
- Convert URL's to a normalized unicode format☆67Updated 7 years ago
- PyLucid is ready to use Django-CMS setup☆73Updated 3 years ago