Does any company make a .17 cal auto pistol?

Kel Tec did at one point . A 17 HMR . I don't know the model number.

Plus there was one that resembled an old AMT Automag.

Accelerator I think, But I don't know who made it.