sanjit-bhat
Follow
Highlights
- Pro
-
akd Public
Forked from facebook/akdAn implementation of an auditable key directory
Rust Apache License 2.0 UpdatedMar 8, 2025 -
-
iris-named-props Public
Forked from tchajed/iris-named-propsNamed Props for Iris
Coq MIT License UpdatedFeb 7, 2025 -
coq-record-update Public
Forked from tchajed/coq-record-updateLibrary to create Coq record update functions
Coq MIT License UpdatedFeb 7, 2025 -
-
-
sanjit-bhat.github.io Public
Forked from alshedivat/al-folioMy personal webpage!
HTML MIT License UpdatedNov 25, 2024 -
-
porcupine Public
Forked from anishathalye/porcupineA fast linearizability checker written in Go 🔎
Go MIT License UpdatedMay 15, 2024 -
BasicSR Public
Forked from XPixelGroup/BasicSROpen Source Image and Video Restoration Toolbox for Super-resolution, Denoise, Deblurring, etc. Currently, it includes EDSR, RCAN, SRResNet, SRGAN, ESRGAN, EDVR, BasicVSR, SwinIR, ECBSR, etc. Also …
Python Apache License 2.0 UpdatedMay 15, 2024 -
coniks-go Public
Forked from coniks-sys/coniks-goA CONIKS implementation in Golang
Go Other UpdatedFeb 1, 2024 -
hhs-child-migrant-data Public
Forked from nytimes/hhs-child-migrant-dataData from the U.S. Department of Human Health and Services on children who have migrated to the United States without an adult.
Jupyter Notebook Other UpdatedJan 3, 2024 -
kani Public
Forked from model-checking/kaniKani Rust Verifier
Rust Apache License 2.0 UpdatedSep 7, 2022 -
Var-CNN Public archive
Code for the paper "Var-CNN: A Data-Efficient Website Fingerprinting Attack Based on Deep Learning" (PETS 2019)
-
AB-ACSL Public
Acton-Boxborough's repo for ACSL training resources