Part of CWI’s knowledge transfer is achieved by developing software, and making this available to researchers, industry and society. A number of our software tools is aimed to be used by a wide audience and is intended to become the reference software in its area. CWI has contributed to new industry standards in multimedia, internet security, database management systems and the development of programming languages.
Adlib is a software tool for making web thesauruses available in collections management. It uses Semantic Web technologies to implement an auto-completion function for describing images on works of art.
Afivo, short for Adaptive Finite Volume Octree, is a framework for adaptive mesh refinement on quadtree (2D) and octree (3D) meshes with shared memory parallelization (OpenMP) and geometric multigrid methods.
Amalgame, short for AMsterdam ALignment GenerAtion MEtatool, is a Semantic Web tool for finding, evaluating and managing vocabulary alignments, i.e. relating corresponding concepts in different vocabularies.
Invisible XML is based on the idea that data in any parsable format can be treated as XML -- a format that is readable by machines as well as humans -- without the need for markup.
MonetDB is a relational database management system (DBMS) providing high performance on complex queries against large databases.
MP3DG is a software framework for the design, implementation and evaluation of point cloud compression algorithms. It has been developed in the Distributed and Interactive Systems (DIS) group as an extension of the open Point Cloud Library (PCL).
NewHope is the reference implementation of a quantum-resistant key exchange protocol.
PumpKin, short for Pathway Reduction Method for Plasma Kinetic Models, is a tool for post-processing results from zero-dimensional plasma kinetics solvers.
The QoE Testbed is a set of tools for conducting Quality of Experience (QoE) studies for video-conferencing.
Rascal is a general metaprogramming language, facilitating programmers in analyzing, transforming and generating source code.
Rebel is a domain-specific language (DSL) targeted at the financial sector.
SAGA is a run-time verifier for single-threaded as well as multi-threaded Java programs.
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.
VideoLat is a toolset to measure the delays of audio-visual pipelines, such as teleconferencing systems.
VirtualLeaf is a computer modeling framework for the simulation of plant tissue morphogenesis, i.e., the biological development of an organism's shape.