GitHub repository: sonic160/automate_hal
Primary language: Python
Description: This repository aims at uploading selected papers to HAL automatically.