Perhaps the most extreme "jokey" OS project is EROS, the Extremely Reliable Operating System. The project is quite serious; the naming conventions are not.