OSI-Approved Open Source (310)
- GNU General Public License version 2.0 (66)
- BSD License (16)
- Apache License V2.0 (10)
- MIT License (8)
- Academic Free License (5)
- Eclipse Public License (4)
- GNU General Public License version 3.0 (4)
- GNU Library or Lesser General Public License version 3.0 (4)
- Mozilla Public License 1.1 (4)
- Artistic License (3)
- Common Development and Distribution License (2)
- Mozilla Public License 1.0 (2)
- Apache Software License (1)
- Python Software Foundation License (1)
- Simple Public License 2.0 (1)
- Public Domain (6)
- Other License (2)
- Windows (273)
- Linux (271)
- Mac (214)
- Grouping and Descriptive Categories (207)
- Android (87)
- Modern (63)
- BSD (45)
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
bddshell is a command line program for deductive database-based analysis. Its primary focus is software vulnerability detection. It acts as a front-end to a number of other programs, such as bddbddb and joeq.1 weekly downloads
CoRoPa stands for Computational Rough Paths. The aim of CoRoPa is to provide a software framework for various ideas related to Rough Path Theory, including rough differential equations and the digital description of serial data streams.1 weekly downloads
This is a HTML, XHTML and XML validator and repairer based on PHP1 weekly downloads
This profiler (JRE 1.5.0 only) uses JVMTI and native bytecode instrumentation for the analysis of the heap, reachable objects, execution time, garbage collection efficiency, code coverage and thread contention. No preparation steps required in build.38 weekly downloads
System monitoring utility, written in plain C. Allows application execution and performance monitoring, saving results into XML files. Monitors CPU, memory, network and disk usage on a per-application or per-system basis.1 weekly downloads
A schema validator for the CLiXML (Constraint Language in XML) schema constraint language. The constraint language allows to do semantic tests on an XML document. The validator is written in java and uses jdom.1 weekly downloads
Premier is a software performance testing framework based on Performance Requirements Evolution Model.
dLog is a swift c++ std::stream based output logger that works with tags. It is easy to use, swift and inexpensive when turned off. An example: dLog::write("fileOutput") << "open file:" << filename;1 weekly downloads
EPICS projects at iThemba LABS
BugVise is a test framework used for software testing and hardware verification.
emTester is TCL/TK based test tool for Embedded systems which have CLI and SNMP user interfaces. It supports both Unix-like system and windows system. You can use plain text or TCL script to write your test case.
Automatization of notepad++ (scitilla based editor) with scripting language Ruby.
CImmerSys is a project for make an specific supervisory and control software for controlling all the devices of a Temporary Immersion System for vitro plants production.
English: wO2Php is a lightweight framework for PHP, making more easy the development of new Web Applications. Português: wO2Php, é um framework leve para PHP, que visa facilitar o desenvolvimento de novas Aplicações Web
JVix is a Java wrapper to the VMware VIX API, allowing control of virtual machines through a Java interface.1 weekly downloads
Mock in the Middle is a Java Proxy designed for testing network applications. It serves as a mock proxy between a client and a server. By recording and replaying network conversations, the client can later be tested without a live server.1 weekly downloads
Manage project tasks intuitively, effectively and simply using a queue of work items. Use powerful techniques from queueing theory to analyze productivity and perform. Stop assigning tasks - start queueing them!
Web based Xen Virtual Machine Manager, Install, Control, Clone, Configure HVM and PV Xen Domains.
Autonomous Distributed GIS :: GLOBALBASE / browser COSMOS / server LANDSCAPE :: Browsing graphically seamless the Earth. The world is group of many maps which are in the worldwide distributed server.1 weekly downloads
A tool to automate the usage of SWT based GUI and to allow the user to test the existence of controls and check their characteristics. The users are able to perform the tests from a user interface or from a regression environment.3 weekly downloads
This is an ocaml binding for LevMar Minimization library. The library offers minimization from IR^n to IR^d finding the point which minimizes the distance ||f(p)-x0|| where x0 is the solution in the image space. The binding enables to use ocaml functions
Java Organisms is a framework for parallelize programs with low effort. It allows to Java programs to maximize the use of multicore processors. Any class can be an organism which means it may invoke its methods sequential or concurrent.
OpenALM is an open-source application lifecycle management system. It is intended to be a framework to implement software development team's process. It also intends to provide an API to plug-in with version control system.
KeyWordTest is SilkTest framework for keyword-driven test. KeyWordTest is e generic implementation for Windows Core Classes, HTML and JFC - JavaFoundationClasses.