Explore projects

OPS: Off-the-grid Package made Simple. It provides the framework and essential functions for numerical gridless algorithms

Framework de construction de clés usb bootables.

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 AVL calculator

MoReFEM core library.

This library also contains some simple Models to illustrate how to use it, and several integration tests.

WhyMP is an arbitrary-precision integer library for C that is inspired by GMP, implemented in WhyML, and formally verified using Why3.

Pytorch implementation for CKN-seq