main
cpython
Repository badge with AMinus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
Modules\_hacl\internal\Hacl_Hash_SHA2.h
0 2 -
A
Modules\_hacl\internal\Hacl_Hash_SHA1.h
0 2 -
A
Modules\_hacl\internal\Hacl_Hash_MD5.h
0 2 -
A
Modules\_hacl\internal\Hacl_Hash_Blake2s_Simd128.h
0 2 -
A
Modules\_hacl\internal\Hacl_Hash_Blake2s.h
0 2 -
A
Modules\_hacl\internal\Hacl_Hash_Blake2b_Simd256.h
0 2 -
A
Modules\_hacl\internal\Hacl_Hash_Blake2b.h
0 2 -
A
Modules\_hacl\internal\Hacl_HMAC.h
0 2 -
A
Modules\_hacl\include\krml\lowstar_endianness.h
6 2 -
A
Modules\_hacl\include\krml\internal\types.h
0 2 -
A
Modules\_hacl\include\krml\internal\target.h
1 2 -
A
Modules\_hacl\include\krml\internal\compat.h
0 1 -
A
Modules\_hacl\include\krml\fstar_uint128_struct_endianness.h
8 1 -
A
Modules\_hacl\include\krml\FStar_UInt_8_16_32_64.h
8 2 -
A
Modules\_hacl\include\krml\FStar_UInt128_Verified.h
45 3 -
A
Modules\_hacl\Lib_Memzero0.c
1 3 -
A
Modules\_hacl\Hacl_Streaming_Types.h
0 2 -
A
Modules\_hacl\Hacl_Streaming_SHA2.h
0 1 -
A
Modules\_hacl\Hacl_Streaming_SHA2.c
132 1 2
A
Modules\_hacl\Hacl_Streaming_HMAC.h
0 2 -