Explore projects

ROS packages for interval message passing, computations and visualisation

some tutorials for parallel computing courses including CPU openMP, SSE, and GPU pycuda, pyOpenCL and maybe others

Algorithms for computing the hyperbolicity of graphs

Matrix of parallel jobs. Different runners (OS). Tags. Keywords: parallel jobs, tags, c++.

Progressive Principal Component Analysis

GNU Guix packages of non-free HPC software, or free software depending on non-free software.

Examples of: performance tests, how to save results in the course of time, monitor key metrics performances with figures, charts etc, and detect regressions. Keywords: performance profiling, non-regression testing, cdash, reframe, jube, sqlite, elasticsearch, kibana, pages.

Javascript formalisation in Skeletal semantics

A fork of https://bitbucket.org/neslabpolimi/sceptic/src/ALFRED/