Explore projects

The main application

TAsk-BAsed KrylOV (tabakov) solver

Setup Debian and MacOSX machines so that our backuppc instance can access them. Do not run this software if you are not related to datapol (unless you really want us to gain root access on your machine...)

An OCaml syntax extension (technically, a ppx_deriving plugin) which generates object-oriented visitors for traversing and transforming data structures.

Infrastructure Performance Evaluation Toolkit

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

Grew-match web interface: searching grew request in corpora

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