Explore projects

Finds smallest distance between any point in R3 to a point on a specific curve

Visualize Tensorflow serving metrics on Grafana using Prometheus.

ProVerif formal models for the (modified) EKEP attestation protocol. Forked from https://github.com/google/ekep-analysis/.

[NeurIPS 2021 Spotlight] Aligning Pretraining for Detection via Object-Level Contrastive Learning

The repository that drives VSCode Extension of the Week (EotW).

Implementation of Jana's Masters Thesis