#

inria

Here are 50 public repositories matching this topic...

hacl-star / hacl-star

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

security cryptography high-performance verification formal-methods verified-primitives formal-verification everest inria hacl

Updated Oct 21, 2022
F*

INRIA / spoon

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.

java parser static-analysis metaprogramming code-analysis ast spoon code-generation java9 hacktoberfest abstract-syntax-tree code-transformation inria java-module compile-time-reflection java10

Updated Oct 21, 2022
Java

DIVERSIFY-project / amiunique

Learn how identifiable you are on the Internet

javascript privacy fingerprinting insa kth inria fp7 amiunique

Updated Sep 3, 2020
JavaScript

eclipse / repairnator

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

🤖

🌟

💞

java bot research ci open-science repair program-repair hacktoberfest kth inria

Updated Oct 10, 2022
Java

BlackFoundryCom / InriaFonts

Fonts and UFO Masters of Inria Serif and Inria Sans Typeface

design fonts typeface ufo ofl inria typedesign

Updated Dec 8, 2021
HTML

SpoonLabs / astor

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

dynamic-analysis repair program-repair patch kth inria patch-generation

Updated Sep 12, 2022
Java

STAMP-project / pitest-descartes

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

java mutation-testing pitest inria mutation-analysis h2020

Updated Apr 5, 2022
Java

STAMP-project / dspot

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

java coverage test-automation junit test-amplification hacktoberfest inria h2020 dspot

Updated Jun 13, 2022
Java

powerapi-ng / powerapi

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

python energy powerapi power-meter inria spirals

Updated Oct 6, 2022
Python

natar-io / PapARt

Paper Augmented Reality Toolkit - interactive projection for Processing

processing camera ar projector reality depth-camera inria camera-systems augmeted

Updated Jun 8, 2022
Java

SpoonLabs / coming

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

kth mining-software-repositories inria ast-analysis

Updated Jul 27, 2022
Java

powerapi-ng / powerapi-scala

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

energy scala akka power meters consumption powerapi hardware-counters rapl inria intel-rapl

Updated Jul 1, 2018
Scala

Wimmics / corese

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

java sparql rdf semantic-web sparql-endpoints rdfs shacl inria sparql-client

Updated Oct 21, 2022
Java

badcafe / rollup-plugin-inject-process-env

Inject environment variables in process.env with Rollup

typescript rollup rollup-plugin inria

Updated Feb 12, 2022
TypeScript

STAMP-project / pitmp-maven-plugin

Maven plugin to handle multi module projects for PiTest

java mutation-testing junit pitest pit descartes inria mutation-analysis h2020

Updated Oct 27, 2020
Java

LoicMarechal / libMeshb

A library to handle the *.meshb file format.

file-format mesh inria

Updated Sep 30, 2022
C

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

Updated Jan 31, 2022
Python

Spirals-Team / FPStalker

Repo of code for FPStalker article

privacy browser web fingerprinting inria fingerprinting-algorithm

Updated Nov 21, 2017
Python

diverse-project / k3

action language providing open class mechanism to xtend/java

Updated Sep 8, 2022
Java

diverse-project / melange

The Melange Language Workbench

Updated Sep 29, 2022
Java

Improve this page

Add a description, image, and links to the inria topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the inria topic, visit your repo's landing page and select "manage topics."