[sa46]

Jotai may be small and focused, but is definitely not a single file: https://github.com/pmndrs/jotai/tree/main/src/

[NayamAmarshe]

Yes, sorry my bad, the project isn't a single file. I was just talking about the implementation.