Search Results for "archive"

Hiyushki! This is the latest snapshot of MSYS2 package repository captured before removing old packages in 2020. Backup of the original repo https://msys2.sourceforge.io Snapshot packages are not available by default for download using pacman due to incorrect urls in pacman-mirrors package. To get it work you need download and install alternative package https://sourceforge.net/projects/msys2-snapshot/files/pacman-mirrors-snapshot-20240724-1-any.pkg.tar.xz with actual...

SciTECO is an interactive TECO dialect, similar to Video TECO. It also adds features from classic TECO-11, as well as unique new ideas. Project development takes place here: https://git.fmsbw.de/sciteco The download archive is mirrored at Sourceforge, but for nightly builds check out: https://sciteco.fmsbw.de/downloads/nightly/

...A command line tool for name and content text matching in database tables, plain files, MS Office documents, PDF, archives, MP3 audio, image meta-data, scanned documents, maven dependencies and web resources. CRGREP will search resources within resources of any arbitrary combination or depth, so text within a document within a zip archive, and so on. Here you will find binary downloads and discussion (https://sourceforge.net/p/crgrep/discussion/) . The actual development and issue tracking can be found here: https://bitbucket.org/cryanfuse/crgrep

The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.

...This module gives you input line editing facility, input history management facility, word completion facility, etc. Visit to http://search.cpan.org/dist/Term-ReadLine-Gnu/ on the CPAN (The Comprehensive Perl Archive Network) site for download, documentation, bug report, etc.

...It uses hash tables to make the detection of a file type as fast as possible. The signature and mime types lists are stored at simple user-friendly files. This file type detector supports a lot of formats (image, archive, text, documents, audio, video, fonts and others). It also includes Microsoft OLE compound file types. The detector's algorythm has special features to detect text file types like (HTML, XML, JSON, etc.) and text file UNICODE charsets by using their BOMs (Byte order marks). Its small simple interface can be used at the most popular platforms.

# ⚠ This project has moved to GitHub **drdevtools is now maintained on GitHub:** **[github.com/developer-resources-co/drdevtools](https://github.com/developer-resources-co/drdevtools)** The complete CVS history was migrated to git on 2026-06-10. This SourceForge project is retained only as a read-only archive — all current development happens on GitHub. Please update your bookmarks and clone from the GitHub URL above.