Bit-Bang PWM at high speed

Isn't there an IR Remote library that does those frequencies?
Example
http://playground.arduino.cc/Italiano/ComandareArduinoConUnTelecomandoqualsiasi