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 mini-site for checking Google's Gmail feed with Oauth.☆29Updated 14 years ago
- A Python version (almost a port) of ProPublica's TableFu☆231Updated 11 years ago
- collection of modules to build distributed and reliable concurrent systems in Python.☆205Updated 11 years ago
- python-readability, but faster (mirror-ish)☆83Updated 13 years ago
- Interactive Programming Notebook for the Web Browser☆98Updated 4 years ago
- A python interface to WolframAlpha.☆15Updated 15 years ago
- Convert URL's to a normalized unicode format☆67Updated 7 years ago
- A Django based search engine powered by CouchDB, celery and whoosh.☆49Updated 9 years ago
- Talk from PyCodeConf.☆45Updated 13 years ago
- A simplistic take on SimpleXML for Python☆38Updated 12 years ago
- Python heatmap library☆24Updated 10 years ago
- Breve Template Engine for Python☆30Updated 11 years ago
- Code for High Performance Computing tutorial for EuroPython 2011☆104Updated 3 years ago
- Python runtime environment flags.☆51Updated 8 years ago
- Bash-style pipelining for Python generators.☆17Updated 14 years ago
- Lightweight, multilingual natural language processing☆63Updated 12 years ago
- An object RESTational model☆195Updated last year
- Preprocess text for NLP (tokenizing, lowercasing, stemming, sentence splitting, etc.)☆29Updated 14 years ago
- A lightweight framework for writing asynchronous network applications in Python.☆166Updated 8 years ago
- Sphinx themes for Pallets projects☆162Updated 6 years ago
- Manage and load dataprotocols.org Data Packages☆27Updated 9 years ago
- Python module for extracting information from web pages☆41Updated 11 years ago
- Find which links on a web page are pagination links☆29Updated 8 years ago
- Python graph database implemented on top of Redis☆129Updated 14 years ago
- Python bindings for Neo4j☆59Updated 12 years ago
- A skip dict is a Python dictionary which is permanently sorted by value.☆19Updated 10 years ago
- A visualizer for multi-dimensional semantic data☆38Updated 13 years ago
- INTERVAL field for PostgreSQL (and an approximation for other backends)☆21Updated last year
- Demo showing how to use MongoDB with PyMongo from a Django project☆105Updated 14 years ago