This is not a project of mine but I have stumbled on it while browsing GitHub. This is a MicroPython fork made to be run as a part of ChibiOS. Both parts are not isolated and can interact with each other by the means of wrapper functions in C (of course one needs to implement the one they need, but it does not appear to be difficult).
I have succesfully tested it on a STM32F407 and I must say it is quite impressive and can probably be used in numerous cool projects!
Link to the project and README.