inria

Spoon is a metaprogramming library to analyze and transform Java source code. 🥄 is made with ❤, 🍻 and ✨. It parses source files to build a well-designed AST with powerful analysis and transformation API.

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

Learn how identifiable you are on the Internet

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

Fonts and UFO Masters of Inria Serif and Inria Sans Typeface

Software development bots for Github. Join the bot revolution! 🌟🤖🌟💞

PowerAPI is a Python framework for building software-defined power meters.

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

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

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

Software platform implementing and extending the standards of the Semantic Web.

Paper Augmented Reality Toolkit - interactive projection for Processing

A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast analysis

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

Inject environment variables in process.env with Rollup

Maven plugin to handle multi module projects for PiTest

A library to handle the *.meshb file format.

Open-science repo for our experimental results of automatic software repair on the Defects4J benchmark of Java bugs

SmartWatts is a formula for a self-adaptive software-defined power meter based on the PowerAPI framework.

Repo of code for FPStalker article