Explore projects

bibtex-sw-entry

An open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data

Fed-BioMed moved to https://github.com/fedbiomed/fedbiomed

A federated learning framework for empowering biomedical research

Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.

Various tools to run scientific computer experiments.

FELiScE (Finite Elements for Life Sciences and Engineering) is a parallel finite element library written in C++. https://team.inria.fr/commedia/software/felisce/

Primary library for necro with standard tools (parse, type check, print, and transform Skeletal Semantics)

Collection of CMake modules that can be shared among projects

An OpenAI Gym crop management environment for Reinforcement Learning (RL), based on the Decision Support System for Agrotechnology Transfer (DSSAT) crop model.

Itauto: an Extensible Intuitionistic SAT Solver

SParse Matrix Package

GUS feet: generation of a performance model from a pipedream-compatible ISA

Post-mortem analysis tool for StarPU scheduling studies