Explore projects


David Hamelin / jscoqlight
Creative Commons Attribution 2.5 GenericUpdated 
Pierre Rousselin / jscoqlight
Creative Commons Attribution 2.5 GenericUpdated 
Formal Developments and Proofs in Coq of Numerical Analysis Problems.
Updated 
PMCSOG / OptLP
GNU General Public License v3.0 or laterUpdated 
Sami Evangelista / helena
GNU General Public License v3.0 onlyUpdated 
Sami Evangelista / sbench
GNU General Public License v3.0 or laterrepository of the sbench python package
Updated 
Updated


This repository contains pnml from the MCC (https://mcc.lip6.fr).
Updated 
Updated

SolidityCPN / SolidityCPN
GNU General Public License v3.0 or laterUpdated 
SolidityCPN / Unfolding
GNU General Public License v3.0 or laterUpdated 
Updated

Updated

Pierre Boudes / mastodon
GNU Affero General Public License v3.0Le fork LIPN de Mastodon pour l'instance lipn.info. Basé sur le dépot officiel et sur le dépôt Mathstodon
Updated 
Symbolic Observation GraphBased Generation of Test Paths
Updated 
Fork of the Coq Num Analysis library to test Continuous Integration
Updated 
Updated