
U.S. Web Design System (USWDS) by General Services Administration
General Services Administration has a design system that they call "U.S. Web Design System (USWDS)".
They use design tokens in their system.
They also maintain code assets including a code repository, component documentation.