http://essej.net/sooperlooper/
If it appears "dead", that's mostly because it's essentially finished. It has all the features you've mentioned above, and then a whole lot more. All open-source and GPL'ed. Also fully controllable from e.g. MIDI pedal boards or OSC applications.