Raúl Hernández López

I like low-level systems work, especially embedded C. TU/e student.

GitHub LinkedIn

Notable projects

• Quercus Airport platform @ TU/e (2025-2026)
  Zephyr RTOS-based custom microkernel for the course 2IRR70 Capstone Systems Integration: running untrusted student code on embedded hardware, with a focus on robustness, isolation and performance.
  Source code
• V programming language contributor (2020-2022)
  Notable contributions: Closure implementation, generic interfaces/sumtypes, Windows TCC support, and countless minor bug fixes and improvements.
  View contributions
• Wiki Game Solver (2021-)
  A heavily optimized solver for The Wiki Game (shortest path between Wikipedia pages). Ranked #1 result on Google.
  Open website · Source code
• Hermes Messenger (2018-2019)
  A decentralized messaging app
  Source code