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

Parallel Sparse direct Solver

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

N-body simulation using kernel independent Fast Multipole Method

Collection of CMake modules that can be shared among projects

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.

Sources of the Abstract Categorial Development toolkit.

Toolkit to manage sets of closed intervals.

Sanskrit linguistic resources under the Sanskrit Heritage Platform format

Python Schedulers for Batsim

PIPER application