Use the left and right arrow keys to move. Press up arrow to jump. You can press up arrow again in mid-air to double jump. My version has a couple of changes, thanks to @AISweigart for the original project.