Explore projects
-
AcGuard is android an application for users to help them against malicious apps that are attacking the passwords using the accessibility service.
Updated -
gitlabci_gallery / release / release-on-tag
MIT LicenseExample of a simple release workflow based on tag for gitlab CI
Updated -
CHEPIN simulation's code
Updated -
cedar / HADAD
Apache License 2.0Updated -
Updated
-
Updated
-
GitLab CI Introduction with the Inria GitLab and CI platform. Prerequisites: the practice of at least one programming language (C++, Java or Python).
Updated -
-
Kairos / GemocBackends / XtextAnimationBackendForGemoc
Eclipse Public License 2.0Updated -
-
-
Larisa Safina / java-cfg-builder
MIT LicenseUpdated -
Gazelle / Public / Framework / WS Clients
Apache License 2.0Various Java webservice clients to contact Gazelle applications.
Updated -
Implementation of the operational semantics of platform specific Model Sequence Diagrams. (based on MARTE)
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 -
This project provide some floating-point to fixed-point conversion tools such as Accuracy analysis, Dynamic range propagation, code generation etc.
Updated -
Provides the GeCoS Polyhedral model' SCoP IR and toolflow (scop extraction from C code, various polyhedral transformations, code generation, etc.)
Updated