We extend the Eclipse IDE with tools for development in Haskell, a functional programming language, providing support for a wide range of tools (compilers, interpreters, doc tools etc.) in a coherent, convenient and configurable environment.
Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.
Home of the Open Object Rexx Project. ooRexx is the open source version of IBM's Object REXX Interpreter. It is upwardly compatible with classic REXX and will execute classic REXX programs unchanged. The project is managed by the Rexx Language Assoc.
The Sleuth Kit is a C++ library and collection of open source file system forensics tools that allow you to, among other things, view allocated and deleted data from NTFS, FAT, FFS, EXT2, Ext3, HFS+, and ISO9660 images.
EMMA is a fast Java code coverage tool based on bytecode instrumentation. It differs from the existing tools by enabling coverage profiling on large scale enterprise software projects with simultaneous emphasis on fast individual development.
The Web Services Description Language for Java Toolkit (WSDL4J) allows the creation, representation, and manipulation of WSDL documents. Is the reference implementation for JSR110 'JWSDL' (jcp.org).
JPivot is a JSP custom tag library that renders an OLAP table and chart. Users can perform typical OLAP navigations like drill down, slice and dice. It uses Mondrian and XMLA as its OLAP engines.
short: Import a web service into your Eclipse project. long: This project provides an eclipse import wizard which generates the java client stubs to invoke a Web Service. (Add Web Reference)
A generic metadata, data, and progam migration tool for various databases. Create, review, and modify migration defition with/without database connectivity. Execute database migration or generate relevant SQL and data files as per user choice.
CartoReso intends to facilitate enterprise computer network mapping.
Telecommunication Application Transaction Processing Benchmark generates a transactional load over parallel client connections, targeted at a database system under test. It is modeled after a mobile network application HLR (Home Location Register).
Accounting Journal and Ledger and Balance Sheet
This will be an accounting application operated at least in the beginning from the command line. It will do basic account or book keeping. It will give you journal reports, accounts reports, ledger account reports and balance sheet reports, also maybe income statements reports. Journal and Chart of Accounts are kept in xml files.
Turing and Post Machines' C++ Simulators
The C++-programs simulate : Nondeterministic/Deterministic Multitape Turing & Post Machines, Universal Turing Machine, Turing Machine with faults, failures and recovery.
Java-based implementation of the Optimization Programming Language.
Major looseless compression algorithms library and documentation. First project: Arithmetic, Huffman, LZ77, LZ78, LZW, RLE. Second project reimplements Deflate. Documentation explains major Entropy Compression Methods.
Stopwatch is a simple, highly extensible, API that alows monitoring of any part of the application. It reports hits, execution times and load but can be extended to do more via custom engines. It is able to persist data in "in-memory" or real database.
A collection of DITA map and topic files used for checking the performance of tools such as the DITA-OT used to convert DITA to other formats, including recommended PIs for dealing with presentation needs not covered in the DITA specification. Primary host is now github, https://github.com/jeremygriffith/DITA-Test-Suite
A CITTIO project, Zeppelin enhances the manageability of cloud computing systems. Utilizing WS-MAN and WBEM, Zeppelin's instrumentation provides detailed asset, performance, auditing, benchmarking and usage metering information for cloud infrastructures
AM - Asterisk PBX GUI Configuration/Management System. AM provides a HTML interface for creating Asterisk configuration (.conf) files. It also allows you to remotely manage and monitor your PBX.
A distributed Java implementation of the VISA 3-D Secure(tm) Merchant Server Plug-in (MPI) that allows e-commerce web site to perform payment authentication operations for Internet purchases.
Dynagraph is a cross-platform library and command-line tool for dynamically drawing graphs (networks, flowcharts, family trees, etc.) in reponse to continual modifications. Included are DynaDAG for directed graphs and FDP force-directed placement.
ECharts is a state machine-based programming language for event-driven systems derived from the standardized UML Statecharts language. ECharts has a proven track-record in a large-scale commercial deployment. Take a look at what ECharts has to offer!
Jastor is a Java code generator that generates Beans from Web Ontologies (OWL) enabling convenient, type safe access and eventing of RDF stored in a Jena model. Jastor uses Eclipses Java Emitter Templates (JET).
The Local Projects Database (LPD) is a web-based tool for managing records on development assistance activities financed and/or implemented by development partners. This java based application, allows inserting, maintaining and exchanging activity da
OmniPortal was built on the idea of having a web-portal-kernel, that could handle security, themeing, and localization. This means that you can create any web based system on top of OmniPortal (i.e. ERP, CMS, CRM) easily. Mono and .Net is supported.