Racket (formerly PLT Scheme) is a programming language suitable for implementation tasks ranging from scripting to application development, including GUIs, Web services, etc. It includes the DrRacket programming environment, a virtual machine with a just-in-time compiler, tools for creating stand-alone executables, the Racket Web server, extensive libraries, documentation for both beginners and experts, and more. It supports the creation of new programming languages through a rich, expressive syntax system. Example languages include Typed Racket, ACL2, FrTime, and Lazy Racket.
aria2 is a utility for downloading files. The supported protocols are HTTP(S), FTP, BitTorrent, and Metalink. It has a powerful segmented downloading ability, downloading a file from multiple sources and multiple protocols and utilizing your download bandwidth to the maximum. It supports downloading a file from HTTP(S)/FTP and BitTorrent at the same time, while the data downloaded from HTTP(S)/FTP is uploaded to the BitTorrent swarm. Using Metalink's chunk checksums, aria2 automatically validates chunks of data while downloading a file like BitTorrent.
Mintty is a terminal emulator for Cygwin and MSYS with a native Windows user interface and minimalist design. It is based on parts of PuTTY by Simon Tatham and provides xterm-compatible terminal emulation, but does not require an X server. Its features include a simple options dialog, Unicode support, fullscreen mode, drag & drop, and window transparency.
SHOGUN is a machine learning toolbox whose focus is on large scale kernel methods and especially on Support Vector Machines (SVM). It provides a generic SVM object interfacing to several different SVM implementations, all making use of the same underlying, efficient kernel implementations. Apart from SVMs and regression, SHOGUN also features a number of linear methods like Linear Discriminant Analysis (LDA), Linear Programming Machine (LPM), (Kernel) Perceptrons, and algorithms to train hidden Markov models. SHOGUN can be used from within C++, Matlab, R, Octave, and Python.
Calcurse is a text-based calendar and scheduling application. It helps keep track of events, appointments, and everyday tasks. A configurable notification system reminds the user of upcoming deadlines, and the curses based interface can be customized to suit user needs. All of the commands are documented within an online help system.
xlife is a laboratory for experimenting with cellular automata. It supports loadable rulesets and palettes, different topologies, and up to 256-state cellular automata. It has rules and patterns for Life, Brian's Brain, Perrier's Loops, Langton's Ants and Loops, Wireworld, E.F. Codd's 1975 UCC automaton, some Prisoner's Dilemma games, and many others. It is very fast for step-by-step mode, bounded grid, and chaotic patterns. It has several unique features: a historical mode, a pseudocolor mode, and n-state statistics. It has been developed since 1989. The modern version of Xlife began its history in 2011.
Ziproxy is a high-performance forwarding (non-caching) HTTP proxy that gzips text and HTML files, and reduces the size of images by converting them to lower quality JPEGs or JPEG 2000. It is intended to increase the speed for low-speed Internet connections (mobile, dial-up, other). It's suitable for both home and professional usage. Ziproxy is fully configurable and also features transparent proxy mode, HTML/JS/CSS optimization, operation in daemon mode, a detailed access log with compression statistics, basic authentication, and more.