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 visualizer for multi-dimensional semantic data☆38Updated 13 years ago
- A Django based search engine powered by CouchDB, celery and whoosh.☆49Updated 9 years ago
- Python library for creating word clouds from text☆51Updated 6 years ago
- A mini-site for checking Google's Gmail feed with Oauth.☆29Updated 15 years ago
- Python bindings for Neo4j☆59Updated 12 years ago
- MVC web framework in Python with Gevent, Jinja2, Werkzeug, SqlAlchemy, SASS☆45Updated 2 years ago
- Sphinx themes for Pallets projects☆162Updated 6 years ago
- Blingalytics is an open-source Python project for building a flexible, powerful business reporting system☆21Updated 4 years ago
- A Python version (almost a port) of ProPublica's TableFu☆231Updated 11 years ago
- ☆81Updated 4 years ago
- Common utilities and datastructures for Python applications☆111Updated 14 years ago
- Super-convenient web scraping in Python☆97Updated 5 years ago
- A blog☆34Updated 14 years ago
- Python heatmap library☆24Updated 10 years ago
- DEPRECATED: This project is now part of the Mono Repo (https://github.com/theonion/omni)☆25Updated 8 years ago
- An object RESTational model☆195Updated last year
- Code for High Performance Computing tutorial for EuroPython 2011☆104Updated 3 years ago
- INTERVAL field for PostgreSQL (and an approximation for other backends)☆21Updated 2 years ago
- Django feeds provides an extensive database model for RSS feeds and a fault tolerant parser.☆31Updated 13 years ago
- Lightweight, multilingual natural language processing☆63Updated 12 years ago
- Non-plurk fork of Solace. Might eventually be merged back. Solace is a Stackoverflow inspired platform.☆63Updated 14 years ago
- an HTTP resource kit for Python☆403Updated 4 years ago
- Ultra simple API for geocoding a single string against various web services.☆183Updated 11 years ago
- Filesystem dispatch + Simplates + Python = a nice web framework.☆149Updated 4 years ago
- A lightweight framework for writing asynchronous network applications in Python.☆166Updated 8 years ago
- RGP -- Redis Graph via Python☆30Updated 10 years ago
- REST micro-framework for Python Twisted with multi-core support☆47Updated 11 years ago
- Python wrapper for GitHub's Gist API☆57Updated 3 years ago
- Turns python objects into mongo objects and vice versa☆138Updated last year