Explore projects
-
Updated
-
Frédéric Tuong / language-c
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Nadege Alavoine / jointbert-media
Apache License 2.0Updated -
Nadege Alavoine / jointbert
Apache License 2.0Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Home of the Isabelle_C development. See https://www.lri.fr/~wolff/projects/Isabelle_C/ and F-IDE 2019 publication
UpdatedUpdated -
Updated
-
Updated
-
Updated
-
Updated
-
Benoit Groz / hssp-hypervolume-contributions
MIT LicenseC++14 code for :
hssp in dimension d=2 hssp for very specific cases computing hypervolume contributions computing minimal-weight triples in weighted hypergraphs Where HSSP= Hypervolume Subset Selection ProblemUpdated -
Work on Hom Shifts with Piotr, Silvère and Benjamin
Updated -
-
Frédéric Tuong / happy
BSD 2-Clause "Simplified" LicenseUpdated -
louis esteve / graph_diversity
BSD 2-Clause "Simplified" LicenseUpdated