Explore projects

CoqInterval provides tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant.

A Coq formalization of real analysis compatible with the standard library.

ViTE is a trace explorer. It is a tool to visualize execution traces in Pajé or OTF format for debugging and profiling parallel or distributed applications. It is an open source software licenced under CeCILL-A.

Graph cut F-Formations. Using GCO library by Olga Veksler Based on python interface by Yujia Li

PM2: Parallel Multithread Machine (source code)