RSS 261 projects tagged "Testing"

Download Website Updated 11 Apr 2011 ACL2

Screenshot
Pop 74.30
Vit 4.97

ACL2 is a mathematical logic, programming language, and mechanical theorem prover based on the applicative subset of Common Lisp. It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been used for the formal verification of commercial microprocessors, the Java Virtual Machine, interesting algorithms, and so forth.

No download Website Updated 30 Sep 2002 AWBot

Screenshot
Pop 71.48
Vit 1.00

AWbot is a bot that connects to your Web site and makes URL requests like human visitor. It's not a Web indexing robot, but a Web client tool that emulates visitors browsing your Web site to test its stability after a development change, its reliability, and its response to heavy loads.

Download Website Updated 13 Nov 2005 Acovea/GTK

Screenshot
Pop 28.72
Vit 1.00

Acovea/GTK is a GTK-based graphical front end for the Acovea (Analysis of Compiler Options via Evolutionary Algorithm) optimization engine.

No download Website Updated 07 Aug 2003 AePro

Screenshot
Pop 23.17
Vit 1.00

AePro is a compilation manager for programs written in progres4gl. It compares modification times and will only (re)compile the programs whose source code has changed. It is intended to be used in combination with Aegis, a transaction-based software configuration management system that provides a framework within which a team of developers may work on many changes to a program independently.

Download Website Updated 09 Mar 2008 Aegis

Screenshot
Pop 273.64
Vit 9.91

Aegis is a transaction-based software configuration management system. It provides a framework within which a team of developers may work on many changes to a program independently, and Aegis coordinates integrating these changes back into the master source of the program, with as little disruption as possible. Aegis supports geographically distributed development.

Download Website Updated 03 May 2005 Agnix

Screenshot
Pop 43.24
Vit 1.46

Agnix is a small, educational operating system kernel for i386, supporting 32-bit protected memory mode, paging, hardware switched tasks, memory tests, PCI bus, devices, PCI IRQ routing, RT timers, network protocols. It is available with all the source code and is fully compatible with the Linux kernel API.

Download Website Updated 24 Nov 2009 Alleyoop

Screenshot
Pop 77.46
Vit 5.24

Alleyoop is a GNOME frontend to the Valgrind memory checker. Its features include a right-click context menu to intelligently suppress errors or launch an editor on the source file, jumping to the exact line of the error condition. A searchbar at the top of the viewer can be used to limit the viewable errors to those that match the regex criteria entered. A fully functional Suppressions editor is also included.

Download Website Updated 02 Jan 2003 Anthill Bug Manager

Screenshot
Pop 35.40
Vit 1.45

The Anthill Bug Manager is a tool that aids code development by keeping track of bugs in a medium-sized coding environment. It accomplishes this with a clean, simple, and fast interface that contains the essential features, but avoids the complexity associated with similar tools. It is written in Perl, requires an SQL database as a backend, and is Web server independent.

No download Website Updated 29 Nov 2011 Aplicatiu Exàmens Web

Screenshot
Pop 9.90
Vit 1.00

Aplicatiu Exàmens Web (abbreviated "AEW") is a Web-accessible CGI program which permits the creation, editing, realization, and correction of exams through the Web.

No download Website Updated 14 Apr 2011 Asymptopia Crossword Builder

Screenshot
Pop 119.33
Vit 10.22

Asymptopia Crossword Builder (Math/Text) is an application that runs in any modern Web browser, but does not require an Internet connection (if it is installed locally). The application was designed to allow teachers to quickly produce well-designed, challenging activities. The application features a configuration panel where the user can either enter their own word-hint pairs, or generate math-crossword problems via a single button. The math functionality generates word:hint pairs like: "four:7/x-3/8=11/8", where the hint corresponds to the problem, and the student would write the letters "four" in the corresponding boxes of the puzzle.

Screenshot

Project Spotlight

eZ Publish

Content management system for e-commerce, e-publishing, and intranets/extranets.

Screenshot

Project Spotlight

juntaDados

A GNU/Linux multimedia distribution that is targeted at audio, video, and graphics producers.