Explore projects
-
Gérard Huet / CCT
GNU General Public License v2.0 or laterThis repository contains the course notes of Gérard Huet "Constructive Computation Theory" on lambda calculus.
Updated -
BOUR Frederic / fix
GNU Library General Public License v2 onlyAn OCaml library that provides facilities for memoization and fixed points.
Updated -
Package for graph and mesh/hypergraph partitioning, graph clustering, and sparse matrix ordering.
Updated -
-
LEGRAND Arnaud / Slides Fair Sharing
Creative Commons Zero v1.0 UniversalUpdated -
Updated
-
UpdatedUpdated
-
ZIMMERMANN Paul / dpe
GNU Lesser General Public License v2.1 onlyUpdated -
-
CompCertSSA / compcertssa
GNU Lesser General Public License v2.1 onlyCompCertSSA is built on top of the C CompCert verified compiler. It adds an SSA-based middle-end at the RTL level, and includes conversion to SSA, SSA-based optimizations, and destruction of SSA.
Updated -
MAZY Francois-Remi / hyperclip
GNU General Public License v3.0 or laterUpdated -
Updated
-
Updated
-
MAZY Francois-Remi / fastash
BSD 3-Clause "New" or "Revised" LicenseFast Averaged Shifted Histogram
Updated -
Guidelines, and walkthrough, for archiving and referencing software artifacts in Software Heritage
Updated -
bptraffic / Star-IPS
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalThe name ★-IPS covers a family of algorithms, based on Iterative Proportional Scaling, intended for Gaussian Markov random field selection.
Updated -
PREUX Philippe / gym-barricades
MIT LicenseUpdated -
Valentin HONORE / Stochastic Scheduling Simulator
GNU General Public License v3.0 onlyReproduction repository of results in IPDPS 2019 Paper "Reservation Strategies for Stochastic Jobs" and Inria Research Report n° RR-9211
Updated -
Valentin HONORE / in-situ_simulator
GNU General Public License v3.0 onlyUpdated -
Valentin HONORE / Ckpt for Stochastic Scheduling
GNU General Public License v2.0 or laterReproduction repository of results in IPDPS 2020 Paper "Reservation and Checkpointing Strategies for Stochastic Jobs"
Updated