Explore projects
-
Tom Pillot / dashboard
BSD 2-Clause "Simplified" LicenseSoftware Development Dashboard, http://rainboard.laas.fr
Updated -
Guilhem Saurel / dashboard-apps
BSD 2-Clause "Simplified" Licensegithub apps for https://github.com/gepetto/dashboard
Updated -
Tom Pillot / dashboard-apps
BSD 2-Clause "Simplified" LicenseUpdated -
-
Yannick Pencole / ddautomata
BSD 2-Clause "Simplified" LicenseFinite State Machine library (Automata)
Updated -
Yannick Pencole / ddautomata_subm
BSD 2-Clause "Simplified" LicenseSource code of the Finite State Machine library (ddautomata). Used as a submodule
Updated -
Yannick Pencole / ddeditor
BSD 2-Clause "Simplified" LicenseUpdated -
-
Yannick Pencole / ddgraph_subm
BSD 2-Clause "Simplified" LicenseSource code of ddgraph. Used as a submodule.
Updated -
Yannick Pencole / ddlogic
BSD 2-Clause "Simplified" LicenseUpdated -
Yannick Pencole / ddlogic_subm
BSD 2-Clause "Simplified" LicenseThis submodule contains file to manipulate propositional logic based on BDDs
Updated -
Updated
-
-
-
Yannick Pencole / ddpetri
BSD 2-Clause "Simplified" LicensePetri net library
Topics: Petri netUpdated -
Yannick Pencole / ddpetri_subm
BSD 2-Clause "Simplified" LicenseSource code of ddpetri: used as a submodule
Topics: Petri netUpdated -
Yannick Pencole / ddutils
BSD 2-Clause "Simplified" LicenseStandalone Library of C++ utilities from ddutils_subm
Updated -
Yannick Pencole / ddutils_subm
BSD 2-Clause "Simplified" LicenseC++ utilities. Used as a submodule
Updated -
-