Dense linear algebra subroutines for heterogeneous and distributed architectures

Extensions of GNU Guix for high-performance computing.

An LR(1) parser generator for OCaml.

Package for graph and mesh/hypergraph partitioning, graph clustering, and sparse matrix ordering.

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

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.

Pytorch implementation for CKN-seq

MoReFEM core library.

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

Collection of CMake modules that can be shared among projects

Parallel Sparse direct Solver

N-body simulation using kernel independent Fast Multipole Method

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

Toolkit to manage sets of closed intervals.

Python Schedulers for Batsim

Sources of the Abstract Categorial Development toolkit.

Sanskrit linguistic resources under the Sanskrit Heritage Platform format

A project providing digital recognition of handwritten documents using machine learning techniques.