ada-tlsf Project's aim is to develop verified TLSF allocator in Ada/SPARK Currently project is in early alpha stage. It far from even being tested. Do not use it for every purposes, except studying and testing.