All software
SUMO
Eclipse SUMO is an open source, highly portable, microscopic and continuous traffic simulation package designed to handle large networks. It allows for intermodal simulation including pedestrians and comes with a large set of tools for scenario creation.
- Aeronautics, Space and Transport
- Modelling
- open source
- + 3
- Python
- C++
- C
- + 14
COPASI
COPASI is an open source software for simulation and analysis of biochemical networks and their dynamics. It provides simulations using ODEs, SDEs, or Gillespie's stochastic simulation algorithm, with optional discrete events. COPASI provides several analyses, optimization, and parameter estimation.
- Dynamics
- optimization
- Parameter estimation
- + 3
- Batchfile
- C
- C#
- + 17
Chemistry Development Kit
Open Source cheminformatics library.
- Cheminformatics
- Chemistry
- Computational Chemistry
- HTML
- Java
- Pawn
KeY
KeY is a deductive verification system for Java programs
- Deductive Verification
- First-Order Logic
- Formal Verification
- + 3
- Java
- ANTLR
- Perl
- + 14
JPlag
JPlag is one of the most popular source code plagiarism detection systems worldwide.
- Automated Obfuscation Attack
- Collusion Detection
- Data analysis
- + 10
- Java
- ANTLR
- Vue
- + 16
KeYmaera X
An aXiomatic Tactical Theorem Prover for Hybrid Systems
- Axiom
- Differential Dynamic Logic
- Hybrid Systems
- + 3
- Scala
- JavaScript
- Wolfram Language
- + 7
AMUSE
Combine existing numerical codes in an easy to use Python framework. With AMUSE you can simulate objects such as star clusters, proto-planetary disks and galaxies.
- High performance computing
- Multi-scale & multi model simulations
- Workflow technologies
- Assembly
- C
- C++
- + 23
AMIRIS
AMIRIS is the open Agent-based Market model for the Investigation of Renewable and Integrated energy Systems. It aims at enabling scientists to dissect the complex questions arising with respect to future energy markets, their market design, and energy-related policy instruments.
- Agent-based Model
- electricity
- Energy
- + 4
- Java
- Python
- BibTeX
BridgeDb Java
Java library for identifier mapping
- Data
- persistent identifiers
- Batchfile
- CSS
- HTML
- + 5
ARX - Open Source Data Anonymization Software
ARX is an open-source tool for anonymizing sensitive personal data. It offers many privacy/risk models, transformation methods, and utility analyses. Used in research, clinical trials, training, and big-data platforms. Scales to large datasets and includes an intuitive cross-platform GUI.
- anonymization
- de-identification
- privacy
- Java
- HTML
- Shell
OpenChrom
OpenChrom is a vendor independent open source software for chromatography, spectrometry and spectroscopy.
- chromatography
- mass spectrometry
- CSS
- HTML
- Java
- + 1
Vitruvius
View-based System Development on Consistent Models
- Consistency
- Model-driven development
- Model transformations
- + 1
- Java