Explore projects
-
cedar / hal-dynamic-graph
MIT LicenseUpdated -
Updated
-
Francois PELLEGRINI / FibonacciHeap
BSD 2-Clause "Simplified" LicenseUpdated -
Updated
-
Updated
-
guix-hpc / Guix Past
GNU General Public License v3.0 onlyGNU Guix channel providing packages from the past.
Updated -
Updated
-
FELŠÖCI Marek / guix-extra
GNU General Public License v3.0 onlyMy personal definitions of Guix packages for IDEs or other software.
Updated -
-
grid5000 / g5k-checks
OtherUpdated -
Philippe SWARTVAGHER / Pallas
BSD 3-Clause "New" or "Revised" LicensePallas is a scalable trace format for HPC applications.
Updated -
Resources for course MPRI 2-4 on functional programming and type systems.
Updated -
GUDHI / Presentation_Gustave_Eiffel
MIT LicenseUpdated -
tansiv / Linux TANSIVTx
OtherUpdated -
Updated
-
Damien Robert / avisogenies
GNU Lesser General Public License v2.1 onlyAVIsogenies (Abelian Varieties and Isogenies)
Updated -
Updated