DXR is a code search and navigation tool aimed at making sense of large projects. It supports full-text and regex searches as well as structural queries.

Name Description Modified (UTC) Size
kremlin
Hacl_Chacha20.c 6.9 kB
Hacl_Chacha20.h 1.8 kB
Hacl_Chacha20Poly1305_128.c 68.4 kB
Hacl_Chacha20Poly1305_128.h 1.9 kB
Hacl_Chacha20Poly1305_256.c 68.2 kB
Hacl_Chacha20Poly1305_256.h 1.9 kB
Hacl_Chacha20Poly1305_32.c 19.5 kB
Hacl_Chacha20Poly1305_32.h 1.9 kB
Hacl_Chacha20_Vec128.c 39.7 kB
Hacl_Chacha20_Vec128.h 1.8 kB
Hacl_Chacha20_Vec256.c 47.8 kB
Hacl_Chacha20_Vec256.h 1.8 kB
Hacl_Curve25519_51.c 40.6 kB
Hacl_Curve25519_51.h 1.6 kB
Hacl_Kremlib.h 2.0 kB
Hacl_Poly1305_128.c 93.4 kB
Hacl_Poly1305_128.h 2.3 kB
Hacl_Poly1305_256.c 120.7 kB
Hacl_Poly1305_256.h 2.3 kB
Hacl_Poly1305_32.c 19.0 kB
Hacl_Poly1305_32.h 1.9 kB
libintvector.h 23.6 kB