GitHub repository: thautwarm/MLFS.jl
Primary language: Python
Description: MLFS type system: raising ML to the power of system F in a Simplest way