2 ms·well there's MIRIby _bent 1y agowell there's MIRIpjmlp 1y agoHowever you cannot use it as a general purpose implementation.nextaccountic 1y agomiri is godawful slow though