The Linux-Ecology-HOWTO discusses ways to make computers less harmful to our environment and to solve some ecological issues. It explains how to use Linux to save power and consumables like paper and ink. Since it does not require big hardware, Linux may be used with old computers to make their life cycle longer. Games may be used in environmental education and software is available to simulate ecological processes.
Genius is an arbitrary precision integer and multiple precision floating point calculator. It includes its own programming language similar in some aspects to C, bc, or Pascal. It can deal with rational numbers and complex numbers. It has matrix support as well. It uses the gmp library so it is very fast for calculations of large numbers. It has a command line and a GNOME interface. The GNOME interface supports plotting functions and 3D surfaces.
Groups, Algorithms, and Programming (GAP) is a system for computational discrete algebra with particular emphasis on computational group theory and related areas. It provides a Pascal-like interpreted language, data types for many algebraic objects, a function library, and large libraries of data.
OBJ3 is a program specification and proof system based on order sorted equational logic. It has been successfully used for research and teaching in software design and specification, rapid prototyping, theorem proving, user interface design, and hardware verification, among other things. It was the first language to implement parameterized programming and its module system influenced the designs of the Ada, C++, and ML module systems.
pftp allows you to send and receive files and directories recursively, send and receive standard input and ouput, filter your connection, set the net buffer size, set the bandwidth, send UDP datagrams unicasted, broadcasted, and multicasted (which is meant for AUDIO and VIDEO streaming), send data to another user and manage that data, perform a network test based on either UDP or TCP, and use optimized buffers for your Gigabit Ethernet links. pftp can start from command line, as a daemon, or by inetd. All features are supported for IPv4 and IPv6.
Ten Thumbs Typing Tutor is a complete typing course suitable for beginners, advanced typists, adults, and children. It features two games, animated diagrams, comments, progress reports, and much more. It also includes networking capabilities, updated graphics, the ability to import your own music, and password protection for student files.
QuizComposer is a system for quiz composition/presentation/response-evaluation on the Web in any language. It features many response types to questions (checkbox clicks, number intervals, character patterns/regular expressions, ordered and unordered sets, and subsets), re-presentation of incorrectly answered questions with/without hints, test quizzes for limited groups, and packaging of quizzes and sets of quizzes for transportation and exchange.
Whiteboard is a fully-featured integrated courseware system targeted toward colleges and universities. It supports multiple departments and courses including cross- listed courses, simple migration of courses to new semesters, grade storage, checking, and calculation, assignment submission, testing, and retrieval, documents, announcements, and discussion boards. It is written using PHP and MySQL, and is administrable through its Web interface.
Brainfuck Debugger is designed to encourage the development of Brainfuck programs by providing an IDE with debugging features. One of the goals of this project is to provide an environment for people who want to experiment with the fundimental processes of computers, but not get blown away with complicated syntax issues.
FrAid (Fr[actal] Aid) is a programming language that is appropriate for mathematical computations, visualization, batch processing, and more. It features both a standalone application that provides a programming environment for the language and a system for integrating the language with Java. The Java interface allows mathematical equations and formulas to be used with Java code, making it easier to process numerical computations, symbolic computations, imaging, CAD, and more.