inria topic

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 an...

INRIA

HACL*, a formally verified cryptographic library written in F*

hacl-star

Learn how identifiable you are on the Internet

DIVERSIFY-project

Descartes supports developers to improve their test suites by reporting weak spots in covered code

STAMP-project

Software development bots for Github. Join the bot revolution! :star2::robot::star2::revolving_hearts:

eclipse

Automatic program repair for Java with generate-and-validate techniques :v::v:: jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepair (2017) - Cardumen (2018) - 3sfix (2018)

SpoonLabs

Fonts and UFO Masters of Inria Serif and Inria Sans Typeface

BlackFoundryCom

PowerAPI is a middleware toolkit for building software-defined power meters

powerapi-ng

Paper Augmented Reality Toolkit - interactive projection for Processing

natar-io

Automatically detect and generate missing assertions for Junit test cases (also known as test amplification)

STAMP-project