Explore projects
-
Hsplit / hsplit
GNU General Public License v3.0 or laterHardware split of MPI communicators
Updated -
-
-
Updated
-
PianoTouch / pianolib
GNU General Public License v3.0 onlyUpdated -
Présentation des commandes « guix time-machine » et « guix describe » le 28 mai 2024
Updated -
Slides for a general formation about CI/CD in Inria context
Updated -
Updated
-
Tool to generate a graphical representation of disk/partitions of a machine
Updated -
-
POTTIER Francois / unionFind
GNU Library General Public License v2 onlyImplementations of the union-find data structure
Updated -
POTTIER Francois / feat
MIT LicenseFacilities for enumerating and sampling algebraic data types
Updated -
POTTIER Francois / inferno
MIT LicenseA library for constraint-based Hindley-Milner type inference.
Updated -
POTTIER Francois / visitors
GNU Lesser General Public License v2.1 onlyAn OCaml syntax extension (technically, a ppx_deriving plugin) which generates object-oriented visitors for traversing and transforming data structures.
Updated -
POTTIER Francois / sek
GNU General Public License v3.0 or laterAn efficient OCaml implementation of ephemeral and persistent sequences
Updated -
POTTIER Francois / fix
GNU Library General Public License v2 onlyAn OCaml library that provides facilities for memoization and fixed points.
Updated -
ROHOU Erven / tiptop
GNU General Public License v2.0 or laterTiptop reads hardware performance counters and displays statistics about running processes, such as IPC, or cache misses. The statistics are shown in real time, in a way very similar to the "top" utility.
Updated