Thanks for sharing these links. Very interesting to explore this topic further. I came across Satnam Singh's work first while learning about the Lava language/

Thanks for sharing these links. Very interesting to explore this topic further. I came across Satnam Singh's work first while learning about the Lava language/framework for FPGAs, glad to discover his more recent work.