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 mini-site for checking Google's Gmail feed with Oauth.☆29Updated 14 years ago
- py-yajl provides Python bindings for the Yajl JSON encoder/decoder library☆73Updated 10 years ago
- gaeutilities - A collection of utilities to help with application development on Google Appengine☆78Updated 14 years ago
- Common utilities and datastructures for Python applications☆111Updated 13 years ago
- [unmaintained] Modern project template for Python [2010]☆51Updated 14 years ago
- Python library for creating word clouds from text