Where does “Kripke” come from?

Words derived from “Kripke”

Kripke — Etymology, Origin & Word History | Etymology Explorer