4 ms·
Is this your work Saverio? It’s hosted on your website. If so, could you link to the implementation itself? Would be very interested in looking at it!
by maplant 2y ago
Is this your work Saverio? It’s hosted on your website. If so, could you link to the implementation itself? Would be very interested in looking at it!
- thesave 2y agoThanks for the interest! The work is by Francesco, a very good student of mine. I linked a preprint of the paper that presents it and that we’ve got recently accepted at SAC2025 because it details both the theory and the Rust implementation. The paper also includes the link to the repository, but it makes sense to report it here https://github.com/frengor/rust-cc https://github.com/frengor/rust-cc