RSS 136 projects tagged "Windows"

Download Website Updated 11 Apr 2011 ACL2

Screenshot
Pop 74.51
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 17 Mar 2004 Anthill Build Manager

Screenshot
Pop 134.23
Vit 3.85

Anthill is a tool that ensures a controlled build process and promotes the sharing of knowledge within an organization. Anthill performs a checkout from the source repository of the latest version of a project before every build and tags the repository with a unique build number after every build. It supports many reposistory adapters including: CVS (Concurrent Versions System), Visual Source Safe, Perforce, PVCS, StarTeam, MKSIntegrity, and FileSystem. Anthill also automatically updates a project intranet site with artifacts from the latest build. Anthill is an extension to the Apache-Ant project and is compatible with version 1.3, 1.4, and 1.5 of Ant.

No download Website Updated 04 Jun 2004 BuildMonkey

Screenshot
Pop 20.25
Vit 60.05

BuildMonkey is an automated build, integration, and test platform for large-scale software development, particularly for distributed teams. It lets you manage multiple projects at once on different platforms and with different build technologies (Ant, make, gmake, etc.) and monitor SCM repositories to know what changed, when, and by whom. Build results are known immediately through email notification, and complete build logs are available via a central build dashboard. BuildMonkey integrates with the BuildMonkey EVT test suite to know the status of your host and network infrastructure at all times. Successful builds can be tagged in the SCM repository so they can be recreated.

Download Website Updated 21 May 2008 Bunny the Fuzzer

Screenshot
Pop 41.38
Vit 2.09

Bunny the Fuzzer is a closed loop, high-performance, general purpose protocol-blind fuzzer for C programs. It uses compiler-level integration to seamlessly inject precise and reliable instrumentation hooks into the traced program. These hooks enable the fuzzer to receive real-time feedback on changes to the function call path, call parameters, and return values in response to variations in input data.

No download Website Updated 11 Aug 2005 Burp intruder

Screenshot
Pop 37.15
Vit 1.51

Burp intruder is a tool that facilitates automated attacks against Web-enabled applications. It is highly configurable and can test for common Web application vulnerabilities such as SQL injection, cross-site scripting, buffer overflows, and directory traversal as well as performing brute force attacks against authentication schemes, enumeration, parameter manipulation, trawling for hidden content and functionality, session token sequencing and session hijacking, data mining, concurrency attacks, and application-layer denial-of-service attacks.

No download Website Updated 18 Dec 2007 Burp suite

Screenshot
Pop 35.89
Vit 1.66

Burp suite allows an attacker to combine manual and automated techniques to enumerate, analyse, attack, and exploit Web applications. The various burp tools work together effectively to share information and allow findings identified within one tool to form the basis of an attack using another. Numerous interfaces are implemented between the different tools, designed to facilitate and speed up the process of attacking a Web application. All tools share the same robust framework for handling HTTP requests, authentication, downstream proxies, logging, alerting, and extensibility. Burp suite is extensible via the IBurpExtender interface.

No download Website Updated 12 Sep 2004 C-Cramp

Screenshot
Pop 24.74
Vit 59.21

C-Cramp (the C-Cramp College Radio Audio Management Program) is a Web-based frontend to MySQL for managing the types of things that small radio stations might need: audio files, data, and "metadata"; DJ and staff information, schedules, live music and program logs, and all sorts of other data. Currently, a cross-platform PHP application is the focus of the project, but more features and types of programs are planned that will hopefully enable easier playback, storage, loading, and entering for all types of applicable data.

No download Website Updated 23 Nov 2002 C/C++ Program Perfometer

Screenshot
Pop 44.77
Vit 1.00

C/C++ Program Perfometer checks the performance of a C/C++ program and separate pieces of code for any metrics (e.g. uclocks, rusage metrics, metrics defined by the user, etc.). The measurement results are represented in detailed/summary reports. The detailed report has results for individual tests, and the summary one has average cost and its analysis. The comparison results are represented in comparative tables for individual comparison groups. The user may set various parameters in order to control the measurement/comparison process: measurement report and detailed measurement report flags, total iteration and tests, measurement scale, and confidence threshold.

Download Website Updated 23 Jan 2004 CMT++

Screenshot
Pop 40.17
Vit 1.01

CMT++ is a code metric tool for C and C++. It also supports assembly code, in separate files and inline.

Download Website Updated 03 Feb 2004 CMTJava

Screenshot
Pop 21.42
Vit 1.01

CMTJava is a code metric tool for Java. It analyzes code complexity.

Screenshot

Project Spotlight

Moqui Framework

An all-in-one, enterprise-ready application framework based on Groovy and Java.

Screenshot

Project Spotlight

Paranoid TelnetD

A telnet server with chrooting, whitelisting, and other security features.