The „Tiny“ versions from NTDEV are very popular. From Tiny7 to Tiny10 everything is available.