An example custom Deadlock custom challenges repository.
Deadlock Theia resources, contains also the plugins