An SBML (and related XPP and other formats) implementation of the
classic HH paper:

Hodgkin AL, Huxley AF (1952) A quantitative description of membrane
current and its application to conduction and excitation in nerve.
J Physiol 117:500-44

is available in
database Clicking
on the XPP link will download an executable version of the HH model.