C and C++ are probably the most common high level language for 4KB intro development. Here is a collection of resources.
Auld’s hints about C code for 4kb intros