GitHub repository: serge-sans-paille/tog
Primary language: Python
Created: 2016-08-25T16:09:56Z
Description: Static typing of python scientific program using Hindley Milner algorithm