Much of kitty is written in C, particularly the (very fast) rendering pipeline.