Explore projects
-
-
Updated
-
-
A tool to compute a tight bound on the number of sessions. The tool also decides if the protocol belongs to the decidable class considered by the tool
Updated -
Updated
-
BEUST Cecile / biopax2cadbiom
MIT LicenseBiopax data translation (http://biopax.org) to Cabiom model (http://cadbiom.genouest.org).
Updated -
skeletons / NDAM
GNU General Public License v3.0 onlyNon Deterministic Abstract Machine Generation in Skeletal Semantics
Updated -
HERDA Maxime / Nonlocal SKT
GNU General Public License v3.0 or laterUpdated -
ROUVOY Romain / Async Profiler for PowerAPI
Apache License 2.0A JVM agent to profile the execution of applications.
Updated -
Formal developments for GRIP (Gradual Reasonable Internal Precision)
Updated -
Updated
-
Attempt to gather different parts of a cylindrical decomposition algorithm as Coq-verified algorithms
Updated -
Thierry Martinez / lazypp
BSD 2-Clause "Simplified" LicenseUpdated -
BERTOT Yves / DelaunayFlip
MIT LicenseContinued work on the study of Delaunay triangulation as initiated by Dufourd, using hypermaps.
Updated -
Updated
-
Updated
-
nixos-compose / regale / ear
BSD 3-Clause "New" or "Revised" LicenseUpdated