3 ms·
And then? https://github.com/anqurvanillapy/TinyLean https://github.com/anqurvanillapy/TinyLean
by anqurvanillapy 2y ago
And then? https://github.com/anqurvanillapy/TinyLean https://github.com/anqurvanillapy/TinyLean
- fithisux 2y agoVery 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.