This repository contains the source code of the book Functional Programming in Lean by David Thrane Christiansen. The original version of the book was released by Microsoft Corporation in 2023 under a ...
I read all the NVIDIA TensorRT docs so that you don't have to! This project demonstrates how to use the TensorRT C++ API for high performance GPU inference on image data. It covers how to do the ...