Explore projects
-
GeCoS core provides the core IR model (CDFG), C Front-end, C code generator as well as a set of generic code analysis and transformations and other utils.
Updated -
Provides the GeCoS Polyhedral model' SCoP IR and toolflow (scop extraction from C code, various polyhedral transformations, code generation, etc.)
Updated -
This project provide some floating-point to fixed-point conversion tools such as Accuracy analysis, Dynamic range propagation, code generation etc.
Updated -
GeCoS Testing Framework provides an annotation-based testing framework for source-to-source transformations. This framework, built on top of JUnit4 and JUnit-dataprovider, enables a very simple and rapid way to specify integration tests.
Updated -
THEMIS Artifact Repository for ISSTA 2017 paper: Monitoring Decentralized Specifications
Updated -
Serveur de token pour la déclaration d'infection
Updated -
Preferences are configuration information that may need an application to be deployed, integrated in an environment and operate features. This library offers an API and the underlying implementation to access preferences from a client application.
Updated -
Gazelle / Public / Validation / Audit Message Validator
Apache License 2.0Library for importing Audit Message specifications and validating Audit logs in DICOM PS 3.15 format.
Updated -
ORCCAD is a software environment dedicated to the design and the implementation of advanced robotics control systems. It also allows the specification and the validation of missions to be achieved by the system
Updated -
Updated
-
Coordination of concurrent Java components using a Java flavour of the BIP (Behaviour, Interactions, Priorities) framework.
Updated -
moex / Elster.OLD
GNU Lesser General Public License v2.1 onlyElster is an ontology-based picture annotation sharing system. It is used as a testbed to demonstrate original features such as lightweight ontology alignment and knowledge+social network analysis.
Updated -
moex / PSPARQL
GNU Lesser General Public License v2.1 onlyPSPARQL engine is an extension to SPARQL engine written in Java. It evaluates string queries of both SPARQL/PSPARQL (see http://psparql.inrialpes.fr/).
Updated -
Python portage of C++ sequence-aligner code to align sequences
Updated -
-
moex / Transmorpher
GNU General Public License v2.0 or laterTransmorpher is a software environment for defining and processing complex transformations of XML documents.
Updated -
Validation service for IUA Access Token
Updated -
moex / Lazy lavender
CeCILL-C Free Software License AgreementLazy lavender is a simulation environment for "cultural knowledge evolution", i.e. experimenting with several agents evolving their own knowledge through interacting.
Updated -
DEANTONI Julien / TimeSquare
Eclipse Public License 1.0this is the code related to TimeSquare (http://timesquare.inria.fr)
Updated -
Gazelle / Public / Framework / SSO Client V17
Apache License 2.0Library to auth users (OIDC) or machines (M2M) in Gazelle for application under JDK 17.
Updated