Explore projects

Simulation of dynamical models of physiological systems

forked from crunchy-labs/crunchy-cli

learn a useful language

Hierarchical Pattern-aided Regression

This project aims at providing a set of tools to generate efficient trees for the tile QR/LQ algorithms in order to reduce the volume of communications and increase the level of parallelism of those algorithm for Tall and skinny matrices.

An ecumenical natural deduction system

Small script for creating stats on a list of occupation titles.

Production of Docker images for use to spin up a Catala development environment, locally or on a server.

Primus version of nnUNet

Itauto: an Extensible Intuitionistic SAT Solver