欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
MIAOW GPU
来自开放百科 - 灰狐
MIAOW GPU：一个开源GPU实现，3-clause BSD许可协议。
图集
概述
性能
链接
- MIAOW GPU官网
- [ https://github.com/VerticalResearchGroup/miaow MIAOW GPU @ GitHub]
分享您的观点
