โปรแกรมตาม alf.sf.net

Alf เป็นคอลเลกชันของเครื่องมือสําหรับการทดลองกับภาษาที่เป็นทางการ Alf เป็นแบบพกพาและใช้งานง่าย มันได้รับการพัฒนาที่ Politecnico di Milano