Miranda，一種編程語言，採用惰性求值的純粹函數編程語言，由英國學者大衛·特納（David Turner）所設計。採用來自ML語言與Hope語言的概念，他用此來作為他先前所設計的SASL語言與KRC語言的後繼者。稍後發展出的Haskell語言，採用了很多由Miranda所發展出的概念。
MirandaIM是一款支持多種協議的即時聊天客戶端程序，高效便捷，無需安裝即可使用，而且佔用內存更少。特別適合經常在不同機器上聊天的用戶，可以把Miranda IM拷貝到快閃記憶體上隨處聊。超強的插件系統讓MirandaIM獲得極高的擴展性，軟體本身只內置了最常用的通訊功能，其餘強大特性可隨時通過網站上提供的數百個插件擴展獲取。安裝插件后MirandaIM可以支持
QQ，
ICQ，
AIM，
MSN，Jabber， Yahoo，Gadu-Gadu，Tlen，Netsend等等國際流行聊天工具。
