Program elang analizuje wyrażenia matematyczne zapisane w specjalnie do tego celu zaprojektowanym języku, oblicza wartości tych wyrażeń oraz generuje maszyny stertowe przeprowadzające zaprogramowane obliczenia. Program stock jest symulatorem maszyny stertowej i przekształca ją na maszynę Turinga. Program turing jest symulatorem maszyny Turinga i generuje równoważną jej maszynę Posta. Natomiast program post jest symulatorem maszyny Posta i może ją przekształcić na równoważną maszyną Turinga, jak również wygenerować maszynę uniwersalną. Każdy z tych programów może być uruchamiony w trybie interaktywnym, w którym użytkownik ma pełną kontrolę nad symulowanym automatem. Programy były wielokrotnie testowane i poprawiane od 1997 roku do chwili obecnej, więc nie powinny sprawić nieprzyjemnych niespodzianek. Jednak wiadomo, że nie ma programów bezbłędnych, więc prosze o kontakt, jeśli jakiś zostanie odkryty.