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
- A Django based search engine powered by CouchDB, celery and whoosh.☆49Updated 10 years ago
- A lightweight framework for writing asynchronous network applications in Python.☆165Updated 8 years ago
- Python wrapper for GitHub's Gist API☆57Updated 3 years ago
- A mini-site for checking Google's Gmail feed with Oauth.☆29Updated 15 years ago
- Python runtime environment flags.☆51Updated 8 years ago
- Python module for extracting information from web pages☆41Updated 11 years ago
- A Python version (almost a port) of ProPublica's TableFu☆230Updated 12 years ago
- A visualizer for multi-dimensional semantic data☆38Updated 14 years ago
- collection of modules to build distributed and reliable concurrent systems in Python.☆206Updated 12 years ago
- Super-convenient web scraping in Python☆98Updated 5 years ago
- IPython Notebook Cookbook for Deployment via Chef☆41Updated 8 years ago
- A command-line and programmatic interface to various social sharecount endpoints.☆30Updated 7 years ago
- An AIML alternative, YAML based. Aerolito works like a simulation of natural language processing.☆20Updated 14 years ago
- an HTTP resource kit for Python☆404Updated 4 years ago
- Bash-style pipelining for Python generators.☆17Updated 14 years ago
- gaeutilities - A collection of utilities to help with application development on Google Appengine☆77Updated 15 years ago
- A simplistic take on SimpleXML for Python☆39Updated 12 years ago
- Python lib for Embedly☆83Updated last year
- DEPRECATED: This project is now part of the Mono Repo (https://github.com/theonion/omni)☆25Updated 9 years ago
- Non-plurk fork of Solace. Might eventually be merged back. Solace is a Stackoverflow inspired platform.☆62Updated 15 years ago
- Command line utilities☆31Updated 11 years ago
- A blog☆33Updated 14 years ago
- Python graph database implemented on top of Redis☆129Updated 15 years ago
- Python bindings for Neo4j☆59Updated 13 years ago
- Common utilities and datastructures for Python applications☆112Updated 14 years ago
- Python library for creating word clouds from text☆51Updated 6 years ago
- a Simple API for RDF☆29Updated 16 years ago
- A simple and fast search engine☆70Updated 3 years ago
- Python OEmbed library from Google code.☆36Updated 3 years ago