The VSR is a repository of tools and challenges in verification (see for example epubs.cclrc.ac.uk/work-details?w=33971). It is part of the international grand challenge on software verification (eg http://vstte.ethz.ch/pdfs/vstte-hoare-misra.pdf)
PROSE is a system that performs controlled, systematic, and efficient modification of the code of running Java applications without requiring them to be shut down. PROSE is an infrastructure that supports software adaptation by extending apps at runtime.
SeCSE - Service-centric systems engineering, a project co-funded by the European Commission, provides a set of tools to develop and deploy service-oriented software systems covering all feature of specification, discovery, design, and management.
Secure File Transfer for Windows with Cerberus by Redwood
Protect and share files over FTP/S, SFTP, HTTPS and SCP with the #1 rated Windows file transfer server.
Cerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
The BlueDecode frame work is an Open Source Third Party Java Library used for developing more interactive and customized 2D graphical user interfaces in Java using a MVC and object oriented programming approach.
EAIFramework (Enterprise Application Integration Framework) is a simple, scalable and flexible Message Oriented Middleware (MOM), that provides message routing, filtering and transformation capabilities. It is highly customizable through Spring.
RTP text/t140 Library is a reference implementation for RTP Payload Type for Text Conversation (RFC 4103). The library has source code for encoding and decoding RFC 4103 data, and may be used either as a plug-in to JMF or in a separate RTP sender/receive
Auth0 Token Vault handles secure token storage, exchange, and refresh for external providers so you don't have to build it yourself.
Rolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
AvroraZ is the branch of Avrora from the Cork Institute of Technology, Cork, Ireland aimed at improving MicaZ support thus enabling IEEE 802.15.4 compliant emulations
Our aim is to develop a tool that converts textual constraints written in the OCL 2.0 language into instances of the OCL 2.0 metamodel. We use as a conceptual modeling environment the einaGMC tool http://guifre.lsi.upc.edu/eina_GMC/
This project provides a framework for the generation of workflow code from high-level models. It enables people with no or little experience in this area to generate workflow code a reasonable time by specifying generation templates and reusing adapters.
GISWidgets is a set of reusable UI widgets for geographic applications (GIS), such as referencing dialogs, legends, styling widgets or map panes. The project is based on GeoTools (in Java) and supports several GUI toolkits (e.g Swing, SWT).
Note that, while functional, this library is not developed any further.
EDI-Knight is an integration and translation software focussing EDI (Electronic Data Interchange), CSV (Character Separated Values), and XML. There's a command line tool for batch processing as well as a Java/J2EE conformant API.
JRET (Java Reverse-Engineering Tool) is a program that is capable of reconstructing sequence diagrams from JUnit testsuites through dynamic analysis. It is written in Java/AspectJ and provides a GUI as well as command-line possibilities.
Combean is a Java framework for mathematical structures and optimization algorithms. Through a set of Java interfaces and JavaBeans-based config, Combean glues optimization codes together - leading to more interoperable, adaptable and flexible solutions.
Open Screening Environment is a open source system for management of High Throughput Screening related experiments. The platform consists of new research tools that will enhance significantly management and analysis of HTS data. More information can be f
x2svg is software to graphically lay out files like XML Schema, DTDs and Java property files as scalable vector graphics (SVG). Diagrams can be converted into PDF, PNG, TIF and EPS files directly from within x2svg. A simple GUI and ant integration exist.
A real-time graph plotter. While your application is computing and logging results to a CSV file using the LiveGraph Writer API, the plotter lets you visualise and monitor the results live - by instantly plotting charts and graphs of the data.
a free cross platform calculator for calculating BIG numbers
BigAl is a free open source and platform independent software for calculating really BIG numbers. It supports not only standard arithmetic, but also exact period determination, predefined factorials, fibonacci with seeds, factorization, nth root, etc