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:
- collection of modules to build distributed and reliable concurrent systems in Python.☆206Updated 12 years ago
- A mini-site for checking Google's Gmail feed with Oauth.☆29Updated 15 years ago
- Python library for creating word clouds from text☆51Updated 6 years ago
- A python interface to WolframAlpha.☆15Updated 15 years ago
- A Django based search engine powered by CouchDB, celery and whoosh.☆48Updated 10 years ago
- Convert URL's to a normalized unicode format☆67Updated 8 years ago
- A blog☆33Updated 14 years ago
- A lightweight framework for writing asynchronous network applications in Python.☆164Updated 8 years ago
- Turns python objects into mongo objects and vice versa☆136Updated last year
- Common utilities and datastructures for Python applications☆112Updated 14 years ago
- Bash-style pipelining for Python generators.☆17Updated 14 years ago
- a Simple API for RDF☆29Updated 16 years ago
- Python bindings for Neo4j☆59Updated 13 years ago
- ☆81Updated 5 years ago
- Breve Template Engine for Python☆30Updated 11 years ago
- MVC web framework in Python with Gevent, Jinja2, Werkzeug, SqlAlchemy, SASS☆45Updated 2 years ago
- RGP -- Redis Graph via Python☆30Updated 10 years ago
- Interactive Programming Notebook for the Web Browser☆98Updated 5 years ago
- A Python version (almost a port) of ProPublica's TableFu☆230Updated 12 years ago
- REST micro-framework for Python Twisted with multi-core support☆47Updated 11 years ago
- A visualizer for multi-dimensional semantic data☆38Updated 14 years ago
- Python graph database implemented on top of Redis☆129Updated 15 years ago
- Slinky, a high-performance web crawler / text analytics in Python, Redis, Hadoop, R, Gephi☆41Updated 15 years ago
- A simple and fast search engine☆70Updated 3 years ago
- Install multiple Python versions locally☆18Updated 11 years ago
- py-yajl provides Python bindings for the Yajl JSON encoder/decoder library☆73Updated 10 years ago
- simple HTTP proxy based on tproxy☆28Updated 14 years ago
- Python wrapper for GitHub's Gist API☆57Updated 3 years ago
- Twitter on Tornado☆47Updated 16 years ago
- an HTTP resource kit for Python☆403Updated 4 years ago