Pinned Repositories
yajta
Yajta is a extensible library for bytecode probe insertion, built on top of javassist. Its transformations may be applied at load time with an agent or offline.
sosiefier
A tool to create program sosies (diversified program variants)
arduino_msgpack
msgpack.org[Arduino C] This Arduino library provides light weight serializer and parser for messagepack
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.
json-diversity
Note_G
Knitted execution trace of Ada's note G.
paillasse
Scientific experiment manager
ThingML-Tron
Multiplayer Game played over Arduinos Uno with LCD shield, using an arduino mega hub, with a java monitor for pc.
WASP_1_1
GNSS-aided INS implementation
ThingML
The ThingML modelling language
nharrand's Repositories
nharrand/Note_G
Knitted execution trace of Ada's note G.
nharrand/paillasse
Scientific experiment manager
nharrand/json-diversity
nharrand/TraceSortList
Simple implementation of sorting algorithm and List and their traces
nharrand/thesis-cover
nharrand/argo
Replication package for the paper "Automatic Diversity in the Software SupplyChain"
nharrand/assert-gold-mine
This is an informal repo for ASSERT teammates to share awesome stuff.
nharrand/ci-hackathon
Art for continuous integration.
nharrand/config-server
Silly java server, allowing to distribute configuration to worker and keep track of posted results.
nharrand/dep-analyzer
Analysis of dependencies at the bytecode level
nharrand/depscan
nharrand/docs
Documentation and issues related to the whole organization
nharrand/GithubRepairPatterns
This repository includes some data about automatic repair tool pattern used in Github repositories
nharrand/jiAgora
Small companion REST server to keep track of active rooms and users for a jicofo instance.
nharrand/jsonuser
nharrand/magicjsontocsv
nharrand/maven-miner
This projects mines maven central and creates a a global dependency graph
nharrand/misc
nharrand/nc-to-drip
Convert Natural Cycles data into a csv file imporable into Dripp.
nharrand/nharrand.github.io
Personal website
nharrand/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.
nharrand/pietre
PietRE is an interpreter for the esoteric language Piet.
nharrand/rmirro
A script that synchronizes PDFs of documents between a Remarkable and a computer folder that mirrors its file structure without cloud access
nharrand/royal-debloat
Software debloating tools invented at KTH Royal Institute of Technology
nharrand/some-docker-images
nharrand/sosiefierConfigGen
nharrand/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:.
nharrand/spoon-deploy
Continuous delivery for Spoon
nharrand/ThingML
The ThingML modelling language
nharrand/User59899