Mentions légales du service

Skip to content

Explore projects

  • Why3 / WhyMP

    GNU General Public License v3.0 or later

    WhyMP is an arbitrary-precision integer library for C that is inspired by GMP, implemented in WhyML, and formally verified using Why3.

    Updated
    Updated
  • BAUDIN Lucas / why3

    GNU Lesser General Public License v2.1 only

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

    Updated
    Updated
  • Jean-Christophe Filliâtre / why3

    GNU Lesser General Public License v2.1 only

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

    Updated
    Updated
  • Why3 / why3

    GNU Lesser General Public License v2.1 only

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

    Updated
    Updated
  • Clément Pascutto / why3

    GNU Lesser General Public License v2.1 only

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

    Updated
    Updated
  • PARREIRA PEREIRA Mário José / why3

    GNU Lesser General Public License v2.1 only

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

    Updated
    Updated
  • Matteo Manighetti / why3

    GNU Lesser General Public License v2.1 only

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

    Updated
    Updated
  • Benedikt Becker / why3

    GNU Lesser General Public License v2.1 only

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

    Updated
    Updated
  • Armaël Guéneau / why3

    GNU Lesser General Public License v2.1 only

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

    Updated
    Updated
  • LENGRAND Stephane / why3

    GNU Lesser General Public License v2.1 only

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

    Updated
    Updated
  • This project concerns the use of machine learning techniques to estimation Worst Case Execution Times (WCET), on architectures with caches.

    Updated
    Updated
  • Read power consumption values from omegawatt's wattmetre devices

    Updated
    Updated
  • Read power consumption values from omegawatt's wattmetre devices

    Updated
    Updated
  • Localization library

    Updated
    Updated
  • vvfe / vvfe

    GNU Affero General Public License v3.0
    Updated
    Updated
  • OptimDBS / OptimDBS-dependencies / VTK

    BSD 3-Clause "New" or "Revised" License

    Limited backup for OptimDBS

    Updated
    Updated
  • 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.

    Updated
    Updated
  • 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.

    Updated
    Updated
  • 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.

    Updated
    Updated
  • 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.

    Updated
    Updated