hackerrepos.返回探索English
thedevilhimselfcodes / 项目仓库

CertAlloc

CertAlloc–An O(1) memory allocator formally verified -TLA+ and CBMC

开发者工具许可证待核实
访问项目仓库简介源于 HN 标题，原作者主张未经独立验证。
2最高 HN 分数
0评论总数
1关联讨论
回到原始讨论

看看社区怎么说