Mentions légales du service
Application running SPANK on Zephyr with DW1000 chip
Use of YOLO to test and traing on caltech datasets
Fork of yael (http://yael.gforge.inria.fr/)
Fork of https://github.com/ANL-CESAR/XSBench
XLiFE++ is an extended finite element library developed in C++
Version of the Clang compiler interface with the support for source files featuring the XFOR programming structure.
Simulation code related to paper "Exploring the Impacts of Workload Characterizations on Mapping Strategies"
WhyMP is an arbitrary-precision integer library for C that is inspired by GMP, implemented in WhyML, and formally verified using Why3.
Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.