Miranda[即時聊天客戶端程式]

Miranda，一種程式語言，採用惰性求值的純粹函式程式語言，由英國學者大衛·特納（David Turner）所設計。採用來自ML語言與Hope語言的概念，他用此來作為他先前所設計的SASL語言與KRC語言的後繼者。稍後發展出的Haskell語言，採用了很多由Miranda所發展出的概念。

MirandaIM是一款支持多種協定的即時聊天客戶端程式，高效便捷，無需安裝即可使用，而且占用記憶體更少。特別適合經常在不同機器上聊天的用戶，可以把Miranda IM拷貝到快閃記憶體上隨處聊。超強的外掛程式系統讓MirandaIM獲得極高的擴展性，軟體本身只內置了最常用的通訊功能，其餘強大特性可隨時通過網站上提供的數百個外掛程式擴展獲取。安裝外掛程式後MirandaIM可以支持QQ，ICQ，AIM，MSN，Jabber， Yahoo，Gadu-Gadu，Tlen，Netsend等等國際流行聊天工具。