Explore projects
-
talnarchives / taln2x
GNU General Public License v3.0 or laterUpdated -
Jens Gustedt / Modern C
MIT LicenseUpdated -
-
-
Updated
-
ADFG / ADFG
Affero General Public License v1.0ADFG checks the scheduling feasibility of an Ultimately Cyclo-Static DataFlow (UCSDF) graph which represents a system of actors (or processes) and their dependencies (data production and consumption rates), aka channels between them.
Updated -
learninglab / epoc / epoc-editor
CeCILL-B Free Software License AgreementUpdated -
HanditechLab Inria / bipbip
CeCILL Free Software License Agreement v2.1Updated -
Updated
-
Gazelle / Public / Simulation / Patient Manager
Apache License 2.0Simulation of Patient related actors (PIX, PDQ, PAM... and in various HL7 versions)
Updated -
SimPLU3D / SimPLU3D
CeCILL Free Software License Agreement v2.0Updated -
SimPLU3D / SimPLU3D-rules
CeCILL Free Software License Agreement v2.0Updated -
Geoxygene / geoxygene
Apache License 2.0Updated -
-
Gazelle / Public / Core / Security Suite
Apache License 2.0PKI to share x.509 test certificates, simulation of ATNA and XUA actors, validation service of ATNA messages and XUA assertions.
Updated -
FRAIRE Juan Andres / DtnSim
MIT LicenseDtnSim is a simulator to study different Delay/Disruption Tolerant Networks (DTN) aspects, such as routing, forwarding, scheduling, and planning.
Updated -
DE VRIES Sjoerd / seamless
MIT LicenseUpdated -
Generating seminar of plateau de Saclay website https://bournez.gitlabpages.inria.fr/seminar-algorithms-of-plateau-saclay
Updated -
Generating proof and algorithms pole website https://smimram.gitlabpages.inria.fr/proofs-algorithms
Updated