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 visualizer for multi-dimensional semantic data☆38Updated 13 years ago
- A python interface to WolframAlpha.☆15Updated 15 years ago
- Code for High Performance Computing tutorial for EuroPython 2011☆104Updated 3 years ago
- Convert URL's to a normalized unicode format☆67Updated 7 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
- IPython Notebook Cookbook for Deployment via Chef☆41Updated 8 years ago
- Breve Template Engine for Python☆30Updated 11 years ago
- Python framework for command line applications☆52Updated 5 years ago
- Python wrapper for GitHub's Gist API☆57Updated 3 years ago
- a Simple API for RDF☆29Updated 15 years ago
- collection of modules to build distributed and reliable concurrent systems in Python.☆205Updated 11 years ago
- Manage and load dataprotocols.org Data Packages☆27Updated 9 years ago
- Sphinx themes for Pallets projects☆163Updated 6 years ago
- Python runtime environment flags.☆51Updated 8 years ago
- Modern, Pythonic test automation☆102Updated 12 years ago
- Bash-style pipelining for Python generators.☆17Updated 14 years ago
- Python bindings for Neo4j☆59Updated 12 years ago
- Common utilities and datastructures for Python applications☆111Updated 14 years ago
- Python to JavaScript translator☆140Updated 12 years ago
- A simplistic take on SimpleXML for Python☆38Updated 12 years ago
- A Django based search engine powered by CouchDB, celery and whoosh.☆49Updated 9 years ago
- A mini-site for checking Google's Gmail feed with Oauth.☆29Updated 15 years ago
- [THIS PROJECT IS UNMAINTAINED] A Python driver for Zombie.js (http://zombie.labnotes.org/), a headless browser powered by node.js☆70Updated 3 years ago
- Slinky, a high-performance web crawler / text analytics in Python, Redis, Hadoop, R, Gephi☆41Updated 15 years ago
- Surlex (Simple URL expression translator) - Language for URL matching and extraction☆71Updated 11 years ago
- [unmaintained] Modern project template for Python [2010]☆51Updated 14 years ago
- INTERVAL field for PostgreSQL (and an approximation for other backends)☆21Updated 2 years ago
- Manage uploaded documents (pdfs) with backend cloud processing of the pdfs into individual pngs per page☆103Updated 11 years ago
- A git based cms for django☆70Updated 3 years ago