Explore projects
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Bottled: Fast algorithms for the bottleneck matching problem
Updated -
gitlabci_gallery / presentation
BSD 3-Clause "New" or "Revised" LicenseSome slides about the gitlabci gallery project
Updated -
SHENGHAO Yuan / CertrBPF
GNU General Public License v2.0 or laterCertrBPF: a fully verified RIOT rBPF (verifier+interpreter+JIT) in Coq
Updated -
Updated
-
knem / knem
GNU General Public License v2.0 or laterknem is a high-performance message passing interface for MPI communication between local processes. Its Linux kernel module efficiently moves data between process' address spaces and may offload memory copies on Intel I/OAT hardware.
Updated -
BERNARD Samuel / odexp
Othernumerical solver for population-based systems with gnuplot graphical output
Updated -
BOUR Frederic / menhir
GNU Library General Public License v2 onlyAn LR(1) parser generator for OCaml.
Updated -
LASHERMES Ronan / Resisting Physical Attacks
MIT LicenseUpdated -
Updated
-
Updated
-
Léo Cosseron / kvm
OtherUpdated -
AMIBIO / tree-diet
GNU General Public License v3.0 or laterImplementation of the tree diet algorithm, reducing the treewidth of a graph through min cardinality edge deletion
Updated -
Updated
-
CLEMENT Emily / PyNumRobustness
GNU Affero General Public License v3.0A tool for a numeric algorithm that computes an approximate values of the permissiveness function for general timed automata. For resource: see the chapter 6 of the thesis of Emily Clement (Section 6.1)
Updated -
Updated