Project abandoned / dead / maintained?

Author: jmthomasCreated May 16, 2023Updated Jan 31, 2024

@NeilFraser, @nikolas, @alur: Is this project still active? I haven't seen any commits for 4 yrs. This is an awesome library that a lot of downstream tools are using so I hope that it is still actively maintained. If it is not maintained is there something new that Google has moved on to that the community should consider? Thanks!