thedevilhimselfcodes / REPOSITORY
CertAlloc
CertAlloc–An O(1) memory allocator formally verified -TLA+ and CBMC
Developer toolsLicense unchecked
Explore repositoryOriginal HN title; author claims are not independently verified.
2Top HN score
0Total comments
1Linked discussions
GO STRAIGHT TO THE SOURCE