欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
MediaPortal
来自开放百科 - 灰狐
MediaPortal opens the portal to all your media. Listen, record and organize music, movies, radio, streams, pictures and even pause TV! Use internet sources to enrich your media with albumart or songnames. Enjoy your mediacenter or HTPC like never before!
Links
分享您的观点