Explore projects

View service pitpn2maude project

cosyverif / Services / service pitpn2maude
GNU General Public License v3.0 or later

0

Updated Apr 10, 2024

0 0 0 0

Updated Apr 10, 2024
View Profiling for StarPU project

Camille Coti / Profiling for StarPU
GNU Lesser General Public License v2.1 only

0

Updated Sep 30, 2022

0 0 0 0

Updated Sep 30, 2022
View CompcertMWP project

Thomas Rubiano / CompcertMWP
GNU General Public License v2.0 or later

0

Updated Nov 24, 2021

0 0 0 1

Updated Nov 24, 2021
View first-approach project

Yasmine Chouikha / first-approach

0

Updated Jan 24, 2023

0 0 0 0

Updated Jan 24, 2023
View Buddy project

PMC-SOG / Buddy
Other

0

Updated Jan 14, 2023

0 0 0 0

Updated Jan 14, 2023
View service imitator project

cosyverif / Services / service imitator

0

Updated Apr 23, 2024

0 0 0 1

Updated Apr 23, 2024
View mariotel project

Pierre Boudes / mariotel
Other

0

Updated Aug 18, 2023

0 0 0 0

Updated Aug 18, 2023
View service sogMBT project

cosyverif / Services / service sogMBT

0

Updated Jul 18, 2023

0 0 0 0

Updated Jul 18, 2023
View AlgoDuTexte project

Julien David / AlgoDuTexte

0

Updated Sep 23, 2025

0 0 0 0

Updated Sep 23, 2025
View lipn-search project

Julien David / lipn-search

0

Updated Apr 13, 2021

0 0 4 0

Updated Apr 13, 2021
View Tool Symbolic Observation Graph-Based Generation of Test Paths project

Yasmine Chouikha / Tool Symbolic Observation Graph-Based Generation of Test Paths

0

Updated Nov 23, 2022

0 0 1 0

Updated Nov 23, 2022
View Numerical Analysis in Rocq project

Micaela Mayero / Numerical Analysis in Rocq
Other

Formal Developments and Proofs in Rocq of Numerical Analysis Problems.

0

Updated Jan 22, 2026

0 2 0 0

Updated Jan 22, 2026
View Test CI - Coq Num Analysis project

David Hamelin / Test CI - Coq Num Analysis
Other

Fork of the Coq Num Analysis library to test Continuous Integration

0

Updated May 23, 2024

0 0 0 1

Updated May 23, 2024
View Tinyxml2 project

GoSup / Tinyxml2
zlib License

This is a copy of TinyXML2 parser

0

Updated Jan 17, 2022

0 0 0 0

Updated Jan 17, 2022
View mariotel project

Antoine Rozenknop / mariotel
Other

0

Updated Sep 21, 2022

0 1 0 0

Updated Sep 21, 2022
View jim2024 project

reactiveIS / artefacts / jim2024

0

Updated Feb 19, 2025

0 0 0 0

Updated Feb 19, 2025
View scorpion project

Serguei Lenglet / scorpion

0

Updated Jan 22, 2026

0 0 0 0

Updated Jan 22, 2026
View PFE project

Hadhami OUNI / PFE

0

Updated Nov 28, 2024

0 0 0 0

Updated Nov 28, 2024
View sogMBT project

PMC-SOG / sogMBT
GNU General Public License v3.0 or later

Symbolic Observation Graph-Based Generation of Test Paths

0

Updated Jul 02, 2025

0 0 0 0

Updated Jul 02, 2025
View TensorJoseph project

Camille Coti / TensorJoseph

0

Updated Apr 23, 2020

0 0

Updated Apr 23, 2020