[anqurvanillapy]

Ah that should be good for source-level compatibility. But I'm thinking about extending existing codebase that crosses between the kernel and user space, e.g. DPDK, SPDK, FUSE, kernel module, etc. Curious that how C3 would be adopted in such projects.

[fithisux]

Start small.

[anqurvanillapy]

And then? https://github.com/anqurvanillapy/TinyLean

[fithisux]

Very very interesting for me. I always wanted to do something similar for Maude in Golang (Python is not a bad choice).

Currently my focus is on data engineering, but I can use it as an inspiration.

I talked about C3 to C translator, this is what I said start small.