Eightebed

Eightebed is a small language with explicit malloc and free.
Through a modicum of static analysis
and runtime support, Eightebed is "safe": it is not possible to dereference a dangling
pointer or otherwise incorrectly-populated memory.

Eightebed was designed as a counter-example to Gregor Richards' claim that such
a language would either need a garbage collector, or not actually implement free.
Eightebed has a real free and has no garbage collector.