inria
There are 55 repositories under inria topic.
INRIA/spoon
Spoon is a metaprogramming library to analyze and transform Java source code. :spoon: is made with :heart:, :beers: and :sparkles:. It parses source files to build a well-designed AST with powerful analysis and transformation API.
hacl-star/hacl-star
HACL*, a formally verified cryptographic library written in F*
DIVERSIFY-project/amiunique
Learn how identifiable you are on the Internet
gismo/gismo
G+Smo (pronounced gismo or gizmo) is a C++ library for isogeometric analysis (IGA). Geometry plus simulation modules aims at the seamless integration of Computer-aided Design (CAD) and Finite Element Analysis (FEA).
BlackFoundryCom/InriaFonts
Fonts and UFO Masters of Inria Serif and Inria Sans Typeface
eclipse-repairnator/repairnator
Software development bots for Github. Join the bot revolution! :star2::robot::star2::revolving_hearts:
powerapi-ng/powerapi
PowerAPI is a Python framework for building software-defined power meters.
SpoonLabs/astor
Automatic program repair for Java with generate-and-validate techniques :v::v:: jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepair (2017) - Cardumen (2018) - 3sfix (2018)
STAMP-project/pitest-descartes
Descartes supports developers to improve their test suites by reporting weak spots in covered code
STAMP-project/dspot
Automatically detect and generate missing assertions for Junit test cases (also known as test amplification)
Wimmics/corese
Software platform implementing and extending the standards of the Semantic Web.
natar-io/PapARt
Paper Augmented Reality Toolkit - interactive projection for Processing
SpoonLabs/coming
A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast analysis
powerapi-ng/powerapi-scala
PowerAPI is a middleware toolkit for building software-defined power meters
badcafe/rollup-plugin-inject-process-env
Inject environment variables in process.env with Rollup
STAMP-project/pitmp-maven-plugin
Maven plugin to handle multi module projects for PiTest
LoicMarechal/libMeshb
A library to handle the *.meshb file format.
Spirals-Team/defects4j-repair
Open-science repo for our experimental results of automatic software repair on the Defects4J benchmark of Java bugs
powerapi-ng/smartwatts-formula
SmartWatts is a formula for a self-adaptive software-defined power meter based on the PowerAPI framework.
Spirals-Team/FPStalker
Repo of code for FPStalker article
diverse-project/melange
The Melange Language Workbench
diverse-project/k3
action language providing open class mechanism to xtend/java
LoicMarechal/libOL
Quick and easy spatial localization with octree
STAMP-project/test-runner
test driver to run JUnit tests isolated in a new JVM
LoicMarechal/GMlib
Porting meshing tools and solvers that deal with unstructured meshes on GPUs
powerapi-ng/hwpc-sensor
Hardware Performance Counters monitoring agent for containers.
LoicMarechal/LPlib
A parallelization framework for numerical simulation
Spirals-Team/docker-machine-driver-g5k
Docker Machine driver for the Grid'5000 testbed infrastructure.
Spirals-Team/FP-Scanner
Repo of code for FP-Scanner article
cristianrcv/pycompss-autoparallel
PyCOMPSs AutoParallel
Spirals-Team/docker-g5k
Docker Grid5000 client (CLI and Go library)
APISENSE/bee-android
APISENSE® Android client
LoicMarechal/libHash
A library to index a mesh data structure in a hash table and make powerfull search queries.
Naereen/phd-thesis
My PhD thesis. I defended on the 20th of November! See https://perso.crans.org/besson/phd/defense/ ! More on https://perso.crans.org/besson/research.en.html
Apolline-Lille/apolline-flutter
Flutter version of the Apolline app.
powerapi-ng/rapl-formula
PowerAPI formula using RAPL counters to provides power consumption information.