OStatic

A collection of tools for formalizing programming languages and compilers, based around the Coq proof assistant

Individual-based, genetically explicit, and stochastic simulation software designed for the study of the evolution of life history traits and populati...

GDCM is yet another C++ library dedicated to reading/parsing and writing DICOM medical files. GDCM stands as a short for Grass roots DiCoM . Supports...

wingS (wingS is net generations Swing) is a Java library for developing web based applications in a way like developing Swing based applications. wing...

GeOxygene aims at providing an open framework which implements OGC/ISO specifications for the development and deployment of geographic (GIS) applicati...

The ProM Import Framework allows to extract process enactment event logs from a set of information systems. These can be exported in the MXML format, ...

The purpose of this project is to provide a convenient Java implementation for Future Technology Devices International Inc.'s (http://ftdichip.co...

Ajile (Advanced JavaScript Importing & Loading Extension) allows developers to easily create unique namespaces for JavaScript modules and quickly ...

This project provides a Java API to access ELV's (http://www.elv.de) Dual USB Stepmotor Interface (USI2). The communication with the USI2 is ba...

WINX focus the goal: MOST SIMPLE BUT EFFECTIVE. It is a C++ template GUI library that easy to use, and compatible to WTL. WTL is an effective Windows ...