During the month, contributed to the cryspen/hax repository by designing and implementing a new BitOr trait to support OR bitwise operations in Rust. This feature introduced a trait-based approach, enhancing the expressiveness and extensibility of low-level bitwise utilities within the codebase. Leveraging skills in functional programming and type theory, the work focused on improving code maintainability and testability, laying a foundation for future optimizations and additional bitwise enhancements. The addition addressed the need for consistent and reusable bitwise logic, supporting performance-critical operations and enabling more robust abstractions for future development in the Rust ecosystem.