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 python interface to WolframAlpha.☆15Updated 15 years ago
- Non-plurk fork of Solace. Might eventually be merged back. Solace is a Stackoverflow inspired platform.☆63Updated 14 years ago
- Python library for creating word clouds from text☆51Updated 6 years ago
- A Django based search engine powered by CouchDB, celery and whoosh.☆49Updated 9 years ago
- A blog☆34Updated 14 years ago
- Common utilities and datastructures for Python applications☆112Updated 14 years ago
- A Python version (almost a port) of ProPublica's TableFu☆230Updated 12 years ago
- A semantic analysis tool to generate synonym.txt files for Solr. [RETIRED]☆25Updated 9 years ago
- IPython Notebook Cookbook for Deployment via Chef☆41Updated 8 years ago
- A MediaWiki-to-HTML parser for Python.☆54Updated 6 years ago
- an HTTP resource kit for Python☆403Updated 4 years ago
- Convert URL's to a normalized unicode format☆67Updated 7 years ago
- ☆15Updated 8 years ago
- Breve Template Engine for Python☆30Updated 11 years ago
- Bash-style pipelining for Python generators.☆17Updated 14 years ago
- collection of modules to build distributed and reliable concurrent systems in Python.☆206Updated 12 years ago
- Python Client for the Etsy NodeJS Statsd Server