Select a tag to browse associated projects and drill deeper into the tag cloud.
Coq proof assistant
Analyzed about 14 hours ago
Coq is a formal proof management system: a proof done with Coq is mechanically checked by the machine. In particular, Coq allows:
* to define functions or predicates,
* to state mathematical theorems and software specifications,
* to develop interactively formal proofs of these theorems,
* to
Licenses:
lgpl
Scrapy
Analyzed about 13 hours ago
Scrapy is a fast high-level scraping and web crawling framework, used to crawl websites and extract structured data from their pages. It can be used for a wide range of purposes, from data mining to monitoring and automated testing.
Licenses:
BSD-3-Clause
Weboob
Analyzed about 2 hours ago
Web Outside of Browsers.
Weboob is a collection of applications able to interact with websites, without requiring the user to open them in a browser. It also provides well-defined APIs to talk to websites lacking one.
Licenses:
lgpv3_or_...
7-Zip-JBinding
Analyzed 1 day ago
Native (JNI) cross-platform library to extract (password protected, multi-part) 7z Zip Rar Tar Split Lzma Iso HFS GZip Cpio BZip2 Z Arj Chm Lhz Cab Nsis Deb Rpm Wim Udf archives from Java. Archive creation and more formats coming soon.
auto-unrar
Analyzed 1 day ago
Smart extracting of many RAR archives for Linux written in Perl.
* handle all three multipart archives naming conventions
* duplicate directory structure tree
( see http://bit.ly/dafLxF )
* move/rename normal files (no rar archives)
* check minimum free space on device
* can delete archives
Licenses:
gpl3_or_l...
GNU libextractor
Claimed by GNU Analyzed 5 months ago
GNU libextractor is a library used to extract meta-data from files. The goal is to provide developers of file-sharing networks or WWW-indexing bots with a universal library to obtain simple keywords to match against queries.
Currently, GNU libextractor supports the following formats: HTML, PS
Licenses:
gpl3_or_l...
Feature Extraction plugin API
F
Analyzed about 13 hours ago
Easy-to-use platform-independent plugin API for the extraction of low-level features from audio data in PCM format, as required in the context of music information retrieval software.
Licenses:
No declared licenses
Apache Tika for TYPO3
A
Analyzed 1 day ago
Apache Tika for TYPO3 offers several services to extract meta data and content from files. The extension also comes with a service to detect the language of a text (requires Tika 0.8+).
EXT:tika can use either a locally available Tika CLI app or a remote Apache Solr server.
The provided
QuickCode (formerly ScraperWiki)
No analysis available
QuickCode is the new name for the original ScraperWiki product. We renamed it, as it isn’t a wiki or just for scraping any more.
It’s a Python and R data analysis environment, ideal for economists, statisticians and data managers who are new to coding.
Mostly written in language not available
Licenses:
No declared licenses
Automated Concept Extraction (ACE) from Search Engines
Analyzed about 23 hours ago
The proliferation of the internet has caused the process of browsing and searching for information to become extremely cumbersome. While many search engines provide reasonable information, they still fall short by overwhelming users with a multitude of often irrelevant results.
We present the
Licenses:
apache_2