Software
Part of CWI’s knowledge transfer is achieved by developing software, and making this available to researchers, industry and society. Some of our open source software tools are aimed to be used by a wide audience; others for scientists or businesses.
PumpKin: Analyzing complex chemistry models
PumpKin, short for Pathway Reduction Method for Plasma Kinetic Models, is a tool for post-processing results from zero-dimensional plasma kinetics solvers.
QoE Testbed: Performing quality studies on video-conferencing systems
The QoE Testbed is a set of tools for conducting Quality of Experience (QoE) studies for video-conferencing.
Rascal: one-stop shop for metaprogramming
Rascal is a general metaprogramming language, facilitating programmers in analyzing, transforming and generating source code.
Rebel: A domain-specific language for product development in finance
Rebel is a domain-specific language (DSL) targeted at the financial sector.
RECAST3D: a real-time visualization platform for tomographic imaging
RECAST3D provides real-time tomographic reconstruction and visualization of arbitrarily oriented 2D slices in a 3D volume.
SAGA: A run-time verifier for Java programs
SAGA is a run-time verifier for single-threaded as well as multi-threaded Java programs.
Squint: Experimenting in Prediction with Expert Advice problems
Squint provides a codebase to perform numerical proof-of-concept experiments in learning theory, particularly in Prediction with Expert Advice problems, a core problem in learning theory.
SWI-Prolog
SWI-Prolog is the world's most popular implementation of the Prolog programming language.