Dense linear algebra subroutines for heterogeneous and distributed architectures

An LR(1) parser generator for OCaml.

Extensions of GNU Guix for high-performance computing.

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

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

Parallel Sparse direct Solver

Collection of CMake modules that can be shared among projects

MoReFEM core library.

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

Pytorch implementation for CKN-seq

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.

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

N-body simulation using kernel independent Fast Multipole Method

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 library to build experimental frameworks on multiple platforms