Explore projects

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

Mirror for CI/CD purposes only.

SimGrid is a toolkit that provides core functionalities for the simulation of distributed applications in heterogeneous distributed environments.

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

A library to build experimental frameworks on multiple platforms

flake parts with autoloading

forked from verus-lang/verus

forked from cranci1/sora

forked from ppy/osu

forked from nixos/nixpkgs

forked from ngi-nix/ngipkgs