An Online Logic Assistant Based on Coq
☆25Feb 15, 2012Updated 14 years ago
Alternatives and similar repositories for Cockerel
Users that are interested in Cockerel are comparing it to the libraries listed below
Sorting:
- A mini-site for checking Google's Gmail feed with Oauth.☆29Aug 10, 2010Updated 15 years ago
- Code for Get Python 3 site☆21Jul 11, 2011Updated 14 years ago
- My homepage☆31Aug 4, 2010Updated 15 years ago
- Just a micro blog☆23Jul 23, 2015Updated 10 years ago
- Discussion Summarization is the process of condensing a text document which is a collection of discussion threads, using CBS (Cluster Bas…☆12Apr 10, 2014Updated 11 years ago
- The Brighton and Hove Python User Group website☆27Oct 1, 2020Updated 5 years ago
- ☆20Jul 14, 2014Updated 11 years ago
- A simple API for CouchSurfing.org☆31Dec 19, 2016Updated 9 years ago
- ☆39Jul 31, 2013Updated 12 years ago
- DKPro WSD: A Java framework for word sense disambiguation☆20Nov 16, 2022Updated 3 years ago
- Quickly uploads an image/audio combination to Youtube☆28Jun 10, 2018Updated 7 years ago
- Sourcecode for the bf3 developer news aggregator.☆82Aug 31, 2011Updated 14 years ago
- AutoCorpus is a set of utilities that enable automatic extraction of language corpora and language models from publicly available dataset…☆37Feb 1, 2012Updated 14 years ago
- OUTDATED VERSION collective consciousness fiction generator☆44Dec 1, 2014Updated 11 years ago
- Search comments and highlights annotations in PDF documents.☆12May 4, 2023Updated 2 years ago
- The goal of this experiment is to take articles and certain metadata and group them by topic.☆11Apr 14, 2016Updated 9 years ago
- Cloud Mining automatically builds exploratory faceted search systems.☆52Oct 15, 2013Updated 12 years ago
- A LibreOffice extension that converts JabRef references to plain text code and vice versa so that you can use your references with MS Off…☆12Aug 15, 2024Updated last year
- An open-source news aggregator☆15Sep 9, 2016Updated 9 years ago
- A tool to easily package your Blender add-on☆18Feb 12, 2026Updated 2 weeks ago
- An async-friendly streaming parser for geonames data.☆12Nov 2, 2015Updated 10 years ago
- ☆12Oct 25, 2015Updated 10 years ago
- Multilingual Language Modeling Toolkit☆11May 25, 2017Updated 8 years ago
- Focused Crawler for VT's CTRNet☆10May 13, 2013Updated 12 years ago
- Interactive map of the Italian regions and provinces.☆10Apr 5, 2018Updated 7 years ago
- Green SqlAlchemy extensions for pulsar☆11Nov 24, 2017Updated 8 years ago
- Bicycle Incident reporting☆13Jul 22, 2022Updated 3 years ago
- Digitization information system build on top of Fedora repository☆16Jan 15, 2019Updated 7 years ago
- Search for a given subsequence in a list of strings and transform the resulting list as required☆18Nov 15, 2015Updated 10 years ago
- A powerful, generic tool designed to provide the perfect solution for constructing and invoking clean architecture use cases in Python.☆11Jan 30, 2024Updated 2 years ago
- Open-source framework for science presentations and talks, generating interactive HTML from simple Python based interface.☆13Jul 21, 2025Updated 7 months ago
- RDFSpace constructs a vector space from any RDF dataset which can be used for computing similarities between resources in that dataset.☆41Nov 8, 2013Updated 12 years ago
- Stream Processing ToolKit☆18Aug 14, 2015Updated 10 years ago
- Sample code demonstrating writing a router for django multi-db support☆19Aug 13, 2012Updated 13 years ago
- Document management system. Based on bill tracking needs. Simple model for stages, priorities, authors, content (abstract, tags), releate…☆19Sep 16, 2014Updated 11 years ago
- A Javascript library to convert number and monetary amount to written text in multiple languages. Also helpful for writing cheques (check…☆10Apr 29, 2025Updated 10 months ago
- A semantic web crawler☆20Sep 20, 2010Updated 15 years ago
- CROMER (CROss-document Main Events and entities Recognition), is a tool for cross-document coreference☆12Jan 14, 2015Updated 11 years ago
- Distributed Web Crawler, Parser and Search Engine.☆10Jun 16, 2016Updated 9 years ago