Explore projects

The main application

TAsk-BAsed KrylOV (tabakov) solver

forked from https://anonscm.debian.org/cgit/debian-live/live-build.git

The KaStORS benchmark suite has been designed to evaluate the implementation of the OpenMP dependent task paradigm, introduced as part of the OpenMP 4.0 specification.

Samifier is a decision support tool as a web service to help biologists to normalize metabolic identifiers. This kernel calculates the matching between identifiers. The Samifier-web server makes requests for the results via an API.

Samifier is a decision support tool as a web service to help biologists to normalize metabolic identifiers. This repository contains the Docker Image to easily deploy the Samifier platform.

Project for modelling CPU caches based on a simple benchmark

M2 Internship report on four-photon driven dissipative process to stabilize cat states and protect logical qubits.

Useful formulas for circuit quantum electrodynamics.

https://mathoverflow.net/questions/78813/binomial-expansion-for-non-commutative-setting

Project for simulating performance on distributed openQCD code using SimGrid framework

An OCaml library that helps deal with binding constructs in abstract syntax trees.