Explore projects
-
How to use Org mode and Guix to build a reproducible experimental study
Updated -
Updated
-
-
Minimal working example of an experimental study
Updated -
An experimental study based on the test_FEMBEM solver using Guix for the management of its software environment
Updated -
-
Updated
-
-
Updated
-
Updated
-
-
-
Diaporama pour la rencontre sur les logiciels libres de recherche
UpdatedUpdated -
Vers une étude scientifique expérimentale reproductible avec Guix
Updated -
obelix / triskele-doc
OtherUpdated -
DIAZ Jerome / GettingStartedWithModernCpp
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalA tutorial to provide a solid basis to start writing proper C++ code with the latest versions of the standard.
Updated -
Updated
-
cambium / cosmo
BSD 3-Clause "New" or "Revised" LicenseConcurrent Separation Logic for Multicore OCaml
Updated -
Updated
-