Watch dnknow/scm-workbench

Watch dnknow/FlexNetLicenseSearch

Watch dnknow/XiangShan forked from XiangShan/XiangShan

Open-source high-performance RISC-V processor

Watch dnknow/BeiDou-Server

Watch dnknow/Chatanywhere forked from 许展玮/Chatanywhere

chatAnywhere

Watch dnknow/BeiDou-ijl15

Watch dnknow/logic-workstation forked from 姜焱琳/logic-workstation

逻辑工作站，现在只是个逻辑小工具，可以生成真值表，计算最简式。可在线使用。

Watch dnknow/Typedown

https://github.com/byxiaozhi/Typedown

Watch dnknow/EpicFV forked from 芯华章科技股份有限公司/EpicFV

业界首款开源形式验证工具

Watch dnknow/neu-os