Similar repositories to JerryScript-duplicate/S2E: