Explore projects

GNU Guix packages of non-free HPC software, or free software depending on non-free software.

forked from lenianiva/lean4-nix

MBox-to-EML conversion and EML viewing... the dirty way

Non Deterministic Abstract Machine Generation in Skeletal Semantics

forked from torvalds/linux

Dense linear algebra subroutines for heterogeneous and distributed architectures

Org mode HTML export template(s) with the corporate identity of Inria

New experimental v2 version