A collection of tiny Pi's digits computations in less than 256b (for the slow ones) or 512b (for the quick ones)
Github: here
Demo (Machin's formula): here