Outils d'import massif de publis sur HAL

TAGADA: a Tool for Automatic Generation of Abstraction-based Differential Attacks

Forked from Ethereum JSON-RPC https://github.com/vorot93/ethereum-jsonrpc.git

Balluchon is a simple tool to contribute to OpenStreetMap, focusing on pedestrian-friendly data.

Crossroads segmentation is a python tool that produces automatic segmentations of data from OpenStreetMap.

An SQL querybuilder written in Python.

Listing of Erdős-Pósa type results. Published at https://perso.limos.fr/~jfraymon/Erdős-Pósa .