欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Miranda IM
来自开放百科 - 灰狐
Miranda IM is an open source, multi-protocol instant messaging client designed to be very light on system resources, extremely fast and customisable. A powerful plugin-based architecture make Miranda IM one of the most flexible clients on the planet.
Links
分享您的观点