Hey that was really cool. How did you get the shaders mod to work with the recording? Did you use PixelCam and Minema to record while you replayed?
No, It is actually vanilla minecraft but with an color correction added in editing. With a plugin called magic bullet looks. If you have more questions feel free to ask.
Greetings, Pingjong