Explore projects

ZPolyTrans

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.

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.