nharrand Goto Github PK

arduino

open-source electronics prototyping platform

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.

dbug

A collection of regression use cases

dep-analyzer

Analysis of dependencies at the bytecode level

depscan

docker-jitsi

Docker files for building images and running jitsi-meet in Docker containers

docs

Documentation and issues related to the whole organization

githubrepairpatterns

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

glad-iot-ors

Turn your drones, remote controlled cars, robtic arms, or any other device into war machines, and let's see which one kicks the more asses!

jasm

Java State Machine

jiagora

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

json-diversity

jsonuser

kevduino-test-generator

Smal generator supposed to generate an arduino sketch returning when asked a kev model and an instance graph.

magicjsontocsv

maven-miner

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

micrunit

Simple serial port unit testing harness

midi-concertina

First push

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.

note_g

Knitted execution trace of Ada's note G.

paillasse

Scientific experiment manager

pietre

PietRE is an interpreter for the esoteric language Piet.

quarto

Implementation du jeu Quarto pour Android

reverse-bridge

C library for Arduino Yùn, allowing to control the micro controller (ATmega32u4) from the MIPS processor (AR9331).