What's everyone working on this week (14/2026)?

I published a typenum replacement called gnat this week, which can do everything that typenum can, but without operator trait bounds.