19 projects tagged "Windows"
Updated 25 Apr 2013
Marathon
| Pop | 286.28 |
|---|---|
| Vit | 40.96 |
Marathon is a GUI test tool that allows you to play and record scripts against a Java Swing UI. It's written in Java, and uses Python and Ruby as its scripting language (the emphasis being on an extremely simple, readable syntax that customers/testers/analysts feel comfortable with). Marathon includes a recorder, editor, player, and debugger to simplify working with test scripts.
Updated 24 May 2013
Cobra Programming Language
| Pop | 148.59 |
|---|---|
| Vit | 26.43 |
Cobra is a general purpose programming language with a clean, high-level syntax. It provides language level features for quality, including first class unit tests and Eiffel-style contracts. It supports both static and dynamic binding. Cobra is a compiled language with good run-time performance, but also provides some scripting conveniences such as a pound-bang line (#!) and one step compile-and-run. Cobra runs on Linux, Mac, Windows, and anywhere else that Novell Mono or MS .NET exist, including handhelds.
Updated 17 Mar 2004
Anthill Build Manager
| Pop | 140.34 |
|---|---|
| Vit | 3.88 |
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.
Updated 30 Oct 2006
Lint4j
| Pop | 97.86 |
|---|---|
| Vit | 5.07 |
Lint4j ("Lint for Java") is a static Java source code analyzer that detects locking and threading issues, performance and scalability problems, and checks complex contracts such as Java serialization by performing type, data flow, and lock graph analysis. Lint4j features command line, Ant, Maven, Eclipse, and Emacs integration.
Updated 10 Jun 2011
Platform Independent Petri Net Editor
| Pop | 88.05 |
|---|---|
| Vit | 6.75 |
Platform Independent Petri Net Editor (PIPE) creates and analyses Petri Nets quickly, efficiently, and effectively. A key design feature is the modular approach adopted for analysis, enabling new modules to be written easily and powerfully, using built-in data layer methods for standard calculations. Six analysis modules are provided, including Invariant Analysis, State-Space Analysis (deadlock, etc.), and Simulation Analysis and Classification. PIPE adheres to the XML Petri net standard (PNML). The file format for saving and loading Petri Nets is extensible through the use of XSLT, the default being PNML.
Updated 26 Dec 2004
Software Engineering Environment
| Pop | 83.64 |
|---|---|
| Vit | 2.74 |
Software Engineering Environment (SEE) provides an information manufacturing platform for software development. It makes information sharing very convenient by allowing all information to be customized dynamically and letting users modify or add their own information structures at any time. It provides various predefined selections for information attributes that correspond to information manufacturing patterns. Although designed for software development, it could be used for managing any information, including book registries, personnel lists, and financial reports.
Updated 11 Apr 2011
ACL2
| Pop | 82.27 |
|---|---|
| Vit | 5.57 |
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.
Updated 17 Jul 2001
NUnit
| Pop | 81.66 |
|---|---|
| Vit | 1.00 |
NUnit is a unit testing framework for all .NET languages on any .NET platform. It was ported from JUnit.
Updated 02 Aug 2010
LURT
| Pop | 73.01 |
|---|---|
| Vit | 1.00 |
LURT is a GUI regex tester. It features work saving, regex syntax highlighting, group displaying, and more. It will help you to create effective regexes quickly and easily.
Updated 26 Jul 2010
Forth Foundation Library
| Pop | 54.77 |
|---|---|
| Vit | 4.55 |
The Forth Foundation Library is a Forth library. It gives you a collection of words written in (ANS) forth which are useful in areas such as data types, collections, interfaces, development support, and compound modules.
