欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
OpenVR
开源虚拟现实平台
OSVR 创立目的是为了打造一套通用的开源 VR 生态系统,整合不同品牌和公司的技术。让您自由组合不同品牌的 HMD 和控制器,以您希望的方式体验 VR。
为 OSVR 提供技术支持的是一个 SDK,它使开发者能够全面支持生态系统中的所有可用硬件。解决行业面临的硬件分立等难题,使其能够更加集中精力提供身临其境的高质量体验。