nharrand

Note_G

Knitted execution trace of Ada's note G.

paillasse

Scientific experiment manager

json-diversity

TraceSortList

Simple implementation of sorting algorithm and List and their traces

thesis-cover

argo

Replication package for the paper "Automatic Diversity in the Software SupplyChain"

assert-gold-mine

This is an informal repo for ASSERT teammates to share awesome stuff.

ci-hackathon

Art for continuous integration.

config-server

Silly java server, allowing to distribute configuration to worker and keep track of posted results.

dep-analyzer

Analysis of dependencies at the bytecode level

depscan

docs

Documentation and issues related to the whole organization

GithubRepairPatterns

This repository includes some data about automatic repair tool pattern used in Github repositories

jiAgora

Small companion REST server to keep track of active rooms and users for a jicofo instance.

jsonuser

magicjsontocsv

maven-miner

This projects mines maven central and creates a a global dependency graph

misc

nc-to-drip

Convert Natural Cycles data into a csv file imporable into Dripp.

nharrand.github.io

Personal website

nopol

Automatic program repair and patch generation system for Java based on dynamic analysis and code synthesis with SMT, developed at University of Lille and Inria, France.

pietre

PietRE is an interpreter for the esoteric language Piet.

rmirro

A script that synchronizes PDFs of documents between a Remarkable and a computer folder that mirrors its file structure without cloud access

royal-debloat

Software debloating tools invented at KTH Royal Institute of Technology

some-docker-images

sosiefierConfigGen

spoon

Spoon is a library to analyze, transform, rewrite, transpile Java source code (incl Java 9 & Java 10). It parses source files to build a well-designed AST with powerful analysis and transformation API. Made at Inria with :heart:, :beers: and :sparkles:.

spoon-deploy

Continuous delivery for Spoon

ThingML

The ThingML modelling language

User59899