inria

There are 0 repository 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.
code-analysis code-transformation metaprogramming code-generation abstract-syntax-tree ast static-analysis compile-time-reflection java java9 java-module spoon parser inria java10 hacktoberfest
Language:Java 1668
hacl-star / hacl-star
HACL*, a formally verified cryptographic library written in F*
cryptography verified-primitives high-performance security formal-methods formal-verification inria hacl everest verification
Language:F* 1583
DIVERSIFY-project / amiunique
Learn how identifiable you are on the Internet
inria kth javascript amiunique privacy fingerprinting insa fp7
Language:JavaScript 678
eclipse / repairnator
Software development bots for Github. Join the bot revolution! :star2::robot::star2::revolving_hearts:
java program-repair bot ci research open-science kth inria repair hacktoberfest
Language:Java 378
BlackFoundryCom / InriaFonts
Fonts and UFO Masters of Inria Serif and Inria Sans Typeface
fonts typeface inria ofl ufo design typedesign
Language:HTML 352
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)
program-repair dynamic-analysis kth inria patch-generation patch repair
Language:Java 198
powerapi-ng / powerapi
PowerAPI is a Python framework for building software-defined power meters.
power-meter python inria green-computing energy energy-monitoring
Language:Python 168
STAMP-project / pitest-descartes
Descartes supports developers to improve their test suites by reporting weak spots in covered code
mutation-testing pitest mutation-analysis java inria h2020
Language:Java 124
STAMP-project / dspot
Automatically detect and generate missing assertions for Junit test cases (also known as test amplification)
coverage dspot h2020 hacktoberfest inria java junit test-amplification test-automation
Language:Java 110
natar-io / PapARt
Paper Augmented Reality Toolkit - interactive projection for Processing
camera inria projector camera-systems augmeted reality ar processing depth-camera
Language:Java 97
SpoonLabs / coming
A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast analysis
ast-analysis mining-software-repositories kth inria
Language:Java 92
Wimmics / corese
Software platform implementing and extending the standards of the Semantic Web.
inria rdf semantic-web sparql sparql-endpoints sparql-client java rdfs shacl
Language:Java 80
powerapi-ng / powerapi-scala
PowerAPI is a middleware toolkit for building software-defined power meters
powerapi scala meters consumption hardware-counters akka energy power inria rapl intel-rapl
Language:Scala 68
badcafe / rollup-plugin-inject-process-env
Inject environment variables in process.env with Rollup
rollup rollup-plugin inria typescript
Language:TypeScript 51
STAMP-project / pitmp-maven-plugin
Maven plugin to handle multi module projects for PiTest
pit descartes junit mutation-testing pitest java h2020 mutation-analysis inria
Language:Java 44
LoicMarechal / libMeshb
A library to handle the *.meshb file format.
file-format inria mesh
Language:C 38
Spirals-Team / defects4j-repair
Open-science repo for our experimental results of automatic software repair on the Defects4J benchmark of Java bugs
open-science inria
Language:Python 32
Spirals-Team / FPStalker
Repo of code for FPStalker article
fingerprinting fingerprinting-algorithm browser privacy web inria
Language:Python 29
diverse-project / melange
The Melange Language Workbench
inria
Language:Java 27
powerapi-ng / smartwatts-formula
SmartWatts is a formula for a self-adaptive software-defined power meter based on the PowerAPI framework.
powerapi energy power power-meter green-computing python inria
Language:Python 26
diverse-project / k3
action language providing open class mechanism to xtend/java
inria
Language:Java 25
LoicMarechal / libOL
Quick and easy spatial localization with octree
inria mesh octree
Language:C 18
GMlib
LoicMarechal / GMlib
Porting meshing tools and solvers that deal with unstructured meshes on GPUs
gpu inria mesh
Language:C 15
Spirals-Team / docker-g5k
Docker Grid5000 client (CLI and Go library)
grid5000 docker docker-machine docker-swarm g5k inria
Language:Go 13
Spirals-Team / docker-machine-driver-g5k
Docker Machine driver for the Grid'5000 testbed infrastructure.
docker-machine-driver docker grid5000 containers g5k inria
Language:Go 13
Spirals-Team / FP-Scanner
Repo of code for FP-Scanner article
fingerprinting fingerprinting-algorithm browser privacy web inria
Language:Python 13
STAMP-project / test-runner
test driver to run JUnit tests isolated in a new JVM
h2020 hacktoberfest inria junit mockito test-automation test-runner testing
Language:Java 13
pycompss-autoparallel
cristianrcv / pycompss-autoparallel
PyCOMPSs AutoParallel
astor automatic-parallelization bsc cloog codacy codecov compss distributed-computing inria isl islpy openscop pluto pycompss python sympy
Language:Python 11
powerapi-ng / hwpc-sensor
Hardware Performance Counters monitoring agent for containers.
hardware-performance-counters sensor linux c powerapi inria perf-event monitoring
Language:C 11
APISENSE / bee-android
APISENSE® Android client
android apisense crowdsourcing mobile middleware java crowdsensing mobile-app inria
Language:Java 10
LoicMarechal / libHash
A library to index a mesh data structure in a hash table and make powerfull search queries.
hashtable inria mesh
Language:C 9
LoicMarechal / LPlib
A parallelization framework for numerical simulation
inria mesh multithreading parallel
Language:C 8
phd-thesis
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
phd-thesis phd-dissertation latex-document centralesupelec inria doctorate
Language:TeX 7
occiware / TOSCA-Studio
A Model for TOSCA and a Studio for designing and deploying configurations based on this model.
models tosca occi ecore eclipse emf mde inria
Language:Java 6
powerapi-ng / rapl-formula
PowerAPI formula using RAPL counters to provides power consumption information.
powerapi energy performance-counters rapl power green-computing power-meter inria spirals
Language:Python 6
Apolline-Lille / apolline-flutter
Flutter version of the Apolline app.
apolline flutter inria
Language:Dart 5

inria

INRIA / spoon

hacl-star / hacl-star

DIVERSIFY-project / amiunique

eclipse / repairnator

BlackFoundryCom / InriaFonts

SpoonLabs / astor

powerapi-ng / powerapi

STAMP-project / pitest-descartes

STAMP-project / dspot

natar-io / PapARt

SpoonLabs / coming

Wimmics / corese

powerapi-ng / powerapi-scala

badcafe / rollup-plugin-inject-process-env

STAMP-project / pitmp-maven-plugin

LoicMarechal / libMeshb

Spirals-Team / defects4j-repair

Spirals-Team / FPStalker

diverse-project / melange

powerapi-ng / smartwatts-formula

diverse-project / k3

LoicMarechal / libOL

LoicMarechal / GMlib

Spirals-Team / docker-g5k

Spirals-Team / docker-machine-driver-g5k

Spirals-Team / FP-Scanner

STAMP-project / test-runner

cristianrcv / pycompss-autoparallel

powerapi-ng / hwpc-sensor

APISENSE / bee-android

LoicMarechal / libHash

LoicMarechal / LPlib

Naereen / phd-thesis

occiware / TOSCA-Studio

powerapi-ng / rapl-formula

Apolline-Lille / apolline-flutter