slcFREESymbolic Lambda Calculus is a logical formalism based on lambda calculus and combinatory logic, in which there is only one kind of objects, which can represent either terms or equalities. It uses de Bruijn's and lambda calculus notations.Read More Rating:
dasmarmFREEDisassembler and assembler for Windows Mobile with ARM processor. Compiled with Pelles C on Windows XP.Read More Rating:
wmforthFREEWMForth : Forth compiler written in C for Pocket PC with ARM processor running Windows Mobile, compiled with Embedded Visual C++ 4.0.Read More Rating:
minischemeFREEThis is a modified version of the original Mini-scheme interpreter from Atsushi Moriwaki. It has been modified by Jacques Bailhache. New features have been added such as calls to Windows API functions. It can run on Linux, Windows and Windows Mobile.Read More Rating:
exparmFREEExecute programs written in headecimal for ARM processors on Windows Mobile. Compiled with Pelles C on Windows XP.Read More Rating:
TOP DOWNLOADSlast weekdoPDF352FBackup149Backup4all Professional9novaPDF SDK1novaPDF OEM1! Chilkat SMTP / POP3 Components0TreePad Asia0 View All Top Downloads
LATEST ADDITIONSRecently Added SoftwareAppLock2026-10-26CardHorse-Sell Gift Cards 100+2026-10-19Denma: Tap to Vibrate2026-10-19Tajweed Mushaf: Quran Holder2026-10-18Holy Quran - Multiple Qiraat2026-10-18কেয়ামতের আলামত - Qiyamah2026-10-18Shoot - Live Football Scores2026-10-18 View All Top Additions
LATEST UPDATESRecently Updated SoftwareAppLock2026-10-26CardHorse-Sell Gift Cards 100+2026-10-19Denma: Tap to Vibrate2026-10-19Tajweed Mushaf: Quran Holder2026-10-18Holy Quran - Multiple Qiraat2026-10-18কেয়ামতের আলামত - Qiyamah2026-10-18Shoot - Live Football Scores2026-10-18 View All Updates
