pySDC is a Python implementation of the spectral deferred correction approach and its flavors, esp. the parallel-in-time extension PFASST. It is intended for rapid prototyping and educational purposes. New ideas can be tested and first toy problems can be easily implemented.
NEST is a simulator for spiking neuronal networks. A well tested and efficient tool, NEST works on your laptop and also on the world’s largest supercomputers to study behaviour of large networks of neurons.
The Tamarin Prover is a state-of-the-art tool for the analysis of security protocols, which underpin the security of modern distributed computing; Tamarin has been used in analyses of TLS 1.3, 5G, and the EMV (Chip-and-pin) standards, in each case finding attacks and proving strong assurance propert
The Citation File Format (CFF) project provides a format and schema for plain text CITATION.cff files with human- and machine-readable citation information for software (and datasets). Developers/RSEs can include them in their repositories to let others know how to correctly cite their software.
FormatFuzzer is a framework for high-efficiency, high-quality generation and parsing of binary inputs. It takes a binary template that describes the format of a binary input and generates an executable that produces and parses the given binary format. From a binary template for GIF, for instanc
Palladio is a software architecture simulation approach which analyses software at the model level for performance bottlenecks, scalability issues, reliability threats, and allows for subsequent optimisation.
Chemotion ELN is an Open Source electronic lab notebook (ELN) for scientists working in chemistry and colleagues from neighboring disciplines, developed and updated at KIT. The web-based application allows the acquisition, management, storage, processing, and sharing of research data.