Hey, Carnap creator here. Definitely not dead (still actively used by plenty of universities), but pretty stable these days.