I realize that Derby also helps build real-time applications, but I haven't heard anything about Derby being in YC. Has there been a public announcement that they are?

If we're just listing frameworks that help build real-time systems, Pusher would be another example.