Software
We make our software output available to researchers and companies. Part of the institute’s software productions is aimed to be used by a wide audience and 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.
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.
Afivo: A framework for adaptive mesh refinement with geometric multigrid methods
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: Managing alignments in large vocabularies
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.
Ambulant: An open media player for SMIL presentations
The Ambulant Open SMIL Player is an open-source media player with support for SMIL, a W3C XML standard to describe multimedia presentations.
ASTRA Toolbox: Commercial-class software for tomography imaging
The ASTRA Toolbox is a MATLAB and Python platform providing scalable, high-performance GPU primitives for 2D and 3D tomography, including building blocks for advanced reconstruction algorithms.
Bio-Signal Data Processing and Visualization Suite: The full cycle
The Bio-Signal Data Processing and Visualization Suite supports the full cycle of collecting, processing, analysing and visualizing data from physiological sensors.
CLEVER: Ultra-fast search for genetic variants in human DNA
CLEVER, short for Clique-Enumerating Variant Finder, implements an extremely fast methodology for discovering genetic variants in genome fragment data.
Counter-Cryptanalysis: detecting forged digital MD5, SHA-1 signatures
The Counter-Cryptanalysis project provides a drop-in replacement for the existing cryptographic hash functions MD5 and SHA-1.
Derric: finding more digital forensic evidence in a faster way
Derric is a domain-specific language created to simplify and speed up the development of file format validators, i.e. software components being able to identify the type of a file or data structure.
Extensible Coordination Tools: plug-ins for the Eclipse platform
ECT: The Extensible Coordination Tools consist of a set of plug-ins for the Eclipse platform to facilitate development of concurrency protocols and distributed applications based on the coordination language Reo.
HashClash: A framework for studying the weaknesses of MD5 and SHA-1
HashClash is a software framework for cryptanalysis of the MD5 and SHA-1 cryptographic hash functions, and for Chosen-Prefix Collisions for MD5.
Invisible XML: parsing any format into XML
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: high-performance query processing against very large databases
MonetDB is a relational database management system (DBMS) providing high performance on complex queries against large databases.
MP3DG: Development framework for point cloud compression algorithms
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: Fast implementation of a quantum-resistant key exchange
NewHope is the reference implementation of a quantum-resistant key exchange protocol.
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.
SWISH
SWISH (SWI)-Prolog for SHaring is a web based shared notebook environment for SWI-Prolog.
VideoLat: Measuring end-to-end delays in A/V systems
VideoLat is a toolset to measure the delays of audio-visual pipelines, such as teleconferencing systems.
VirtualLeaf: a modeling framework for plant tissue morphogenesis
VirtualLeaf is a computer modeling framework for the simulation of plant tissue morphogenesis, i.e., the biological development of an organism's shape.