Parallel Sparse direct Solver

SimGrid is a toolkit that provides core functionalities for the simulation of distributed applications in heterogeneous distributed environments.

Dense linear algebra subroutines for heterogeneous and distributed architectures

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

Dense linear algebra subroutines for heterogeneous and distributed architectures

Comet is a pipelined RISC-V processor generated with HLS.

Quickly deploy a monitored Kubernetes cluster on Grid'5000

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

Sources of the Abstract Categorial Development toolkit.

A Python library to execute Python functions on a PAC A10 FPGA board using Intel OpenCL SDK to FPGA.

SYsTème embArqué faible consommation à mémoiRE persistante

Mirror of the git repository of Coq now hosted at https://github.com/coq/coq (synchronized every 15min)

Public repository for the new implementation of the Generalized Parallel Replica algorithm, developed at CERMICS, ENPC, France, by Florent Hédin and Tony Lelièvre, in collaboration with INRIA MATHERIALS.

Mining of referring expressions in knowledge bases

This source bundle provides all files of the 'recurrent neural network weight estimation though backward tuning' and 'hyperparameter less machine learning mechanisms studies', it is still a hack in development ``below an alpha version´´.