Contributed to the redox-os/relibc repository by developing core system programming features in C and Rust, focusing on socket and process control functionality. Delivered a shutdown syscall for socket communication, introducing a new enum variant and robust socket handling logic, accompanied by comprehensive tests to ensure reliability across various socket states. Addressed a bug in printf’s floating-point formatting, improving output accuracy for scientific notation. Further enhanced the library by implementing a process pause function, enabling processes to wait for signals through signal masking and suspension. These efforts strengthened POSIX compatibility and improved the reliability of Redox OS’s libc interface.