Software Process Model Suite is a toolset for modeling and simulate software process models. Is composed by: 1. a simulator engine; 2. a modeling tool based on SPEM, that uses model transformation approach; 3. a visual graphical simulator.
GmanDA is a GPL software for performing qualitative data analysis on mailing-lists and mboxes. It was developed to ease the work with large scale mailing-list archives taken from Gmane.org
The freec project is built for cnc system (pcnc), which is under linus OS. the software can be run in PC or IPC to control lather or mill machine through pci card. and the sametime the freec-pci card is under development.
This workbench tries to manage and analyze neuroscientific animal data with an emphasis on behaviorally orientated experiments. It's goal is to use the behavioral experimental data (stimulus, task, species...) as its source and perform analysis to e
Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.
Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
DRCS (Dimensionless Reaction Coordinate Software) calculates a dimensionless reaction coordinate for chemical reactions that can be used to classify transition states (and other geometries along a reaction path) as either early or late.
ODEM is a C++ class library for process simulation. ODEMx is its successor, greatly enhanced to make real use of C++ features and with improved support for logging.
QRtaiLab is a QT-based port of the software scope xrtailab of the RTAI project. It can be used as virtual oscilloscope and monitoring application for interacting with the real-time executable. More informations about RTAI on https://www.rtai.org.
The OKlibrary is a research platform for generalised SAT solving.
It provides tools to tackle "intractable problems" at the Maxima computer-algebra level and at the C++ level.
It also automatically installs a wide range of external software.
An Event Notification Service for LEAD Services. This includes a LEAD System simulator (an event generator), and a message-box. Both were developed using Apache Axis2. We use IntelliJIDEA as our IDE. This project was our internship project at WSO2.
Our goal is to develop a full working solver for ATA (with 1 clock) in Python, with MTL to ATA support. The decidability for the emptiness problem was proposed by Lasota and Walukiewicz. The MTL to ATA was proposed by Ouaknine and Worrell.
OnuriS (Open soURce wImax Simulator) is a simulation platform designed for WiMAX in order to analyze network performances and develop particular allocators for better bandwidth allocation strategies that could greatly improve the overall system.
Formulator MathML Editor is a mathematical expressions editor of Presentation and Content MathML. Formulator makes it simple to develop software, keenly aware of the mathematical typesetting and semantics rules, and able to calculate simple formulas.
Neural Network class library: Its a C/C++ implementation that provides following three neural architecture - Feed-forward network, Radial Basis function network, multi-layer perceptron and Self-Organizing Maps.
It is a library for parsing standard configuration files which supports extensions over the standard syntax. It also has a very extensive reference substitution system.
The best unit converter written in Rebol! What is Rebol? Rebol is the best language to write software: it's easy, it's cross platform, it's simple, it's very small (500Kb) and it's powerful. Download Rebol and run the unit converter (8Kb). You can c