GitHub repository: Inria-Prosecco/StarMalloc
Primary language: F*
Description: A verified, modern, hardened memory allocator. [maintainer=@cmovcc]