Explore projects
-
Updated
-
AlphaZ developed at CSU and CAIRN. This repository is a migration of old sources that were in separate locations.
Updated -
This project provide some floating-point to fixed-point conversion tools such as Accuracy analysis, Dynamic range propagation, code generation etc.
Updated -
THEMIS Artifact Repository for ISSTA 2017 paper: Monitoring Decentralized Specifications
Updated -
ComplexityParser / ComplexityParser
Apache License 2.0Updated -
COUSIN Geoffroy / GitLabCiIntroduction
MIT LicenseGitLab CI Introduction with the Inria GitLab and CI platform. Prerequisites: the practice of at least one programming language (C++, Java or Python).
Updated -
Updated
-
Updated
-
The first implementation of AIDEme's data exploration system, in Java. Today, it has been replaced by a Python implementation, which can be found on https://gitlab.inria.fr/aideme/aideme .
Updated -
-
-
Simbiot / public / ChaireTIE / pinchgui
GNU Affero General Public License v3.0Project of a Graphical User Interface to show Pinch analysis principles.
Updated -
KerA / KerA
Apache License 2.0KerA is a unified ingestion and storage system for scalable big data processing https://kerdata.gitlabpages.inria.fr/Kerdata-Codes/kera-website/
Updated -
The project aims to develop a reasoner which is based on a new optimization technique, called compressed-tableau. This reasoner allows to reason on ontologies expressed in Description Logics (e.g. OWL ontologies).
Updated -
Updated
-
-
KerA / Examples / kera-flink-examples
Apache License 2.0Flink projects running KerA streaming examples
Updated -
Larisa Safina / java-cfg-builder
MIT LicenseUpdated