Curious if you've seen the WAMR runtime which is explicitly designed to be lightweight enough for freestanding embedded systems on some higher end microcontrollers (Cortex-M4F).
These are not 1:1 replaceable. Income tax is progressively structured where higher earners pay a larger percentage in income that falls into higher income brackets. Sales tax is a flat percentage which varies based on item category, not the cost of the item.