Watch Bohua Zhan/holpy

Implementation of higher-order logic in Python.

Watch uv0xab/pytrait

Watch uv0xab/akg forked from MindSpore/akg-full-log

暂停

AKG(Auto Kernel Generator) is an optimizer for operators in Deep Learning Networks, which provides the ability to automatically fuse ops with specific patterns.

Watch uv0xab/xv6-riscv-fall19

A forked version of MIT 6.828 (git://github.com/mit-pdos/xv6-riscv-fall19.git)