Worked on two core areas: documentation improvement for Nitrokey and runtime stability for Idris2. In Nitrokey/nitrokey-documentation, updated RST files to consistently link Linux users to the latest udev rules in the canonical repository, reducing misconfiguration and support overhead. For idris-lang/Idris2, addressed a concurrency issue by implementing a thread-safe garbage collection workflow at program termination, using a collect-rendezvous mechanism to pause all threads before final GC. This eliminated termination-time crashes in multi-threaded environments. The work demonstrated skills in documentation, link management, compiler development, and concurrency, using Idris and RST to deliver targeted, maintainable solutions to real-world problems.