Explore projects
-
Matteo Manighetti / why3
GNU Lesser General Public License v2.1 onlyWhy3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Updated -
Armaël Guéneau / why3
GNU Lesser General Public License v2.1 onlyWhy3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Updated -
Benedikt Becker / why3
GNU Lesser General Public License v2.1 onlyWhy3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Updated -
LENGRAND Stephane / why3
GNU Lesser General Public License v2.1 onlyWhy3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Updated -
Clément Pascutto / why3
GNU Lesser General Public License v2.1 onlyWhy3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Updated -
Updated
-
-
-
Gazelle / Public / Simulation / Webservice Tester
Apache License 2.0Automated web-service tests, described as SoapUI projects.
Updated -
Socialbus / WebhookManager
MIT LicenseUpdated -
Updated
-
Updated
-
vvfe / vvfe
GNU Affero General Public License v3.0Updated -
DE MOOR Florestan / VTune Python Wrapper
MIT LicenseUpdated -
-
Updated
-
Simon Castellan / vnsee
GNU General Public License v3.0 or laterUpdated -
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