Looks like a generic static site generator page to me. I'd be surprised if dyne folks used a closed system like Codex specifically.