Jin-Hui

Pinned Repositories

solo
🎸 B3log 分布式社区的 Java 博客端节点系统，欢迎加入下一代社区网络。B3log distributed community blog-end node based on Java, welcome to join the next generation community network.
Language:Java10
USTC-CS-Courses-Resource
:heart:中国科学技术大学计算机学院课程资源(https://mbinary.xyz/ustc-cs/)
Language:C++10
cbmc
C Bounded Model Checker
Language:C++00
cernet-ipv6-hosts
Lightweight IPv6 hosts! Access to Google, YouTube, Facebook, Wikipedia via IPv6 and avoid unnecessary block.
00
community
开源论坛、问答系统，现有功能提问、回复、通知、最新、最热、消除零回复功能。功能持续更新中…… 技术栈 Spring、Spring Boot、MyBatis、MySQL/H2、Bootstrap
Language:Java00
sv-benchmarks
Collection of Verification Tasks
Language:C00
vueblog
一个前后端分离的简单博客案例，适合刚入门vue，学前后端分离的童鞋！
Language:Java00

Jin-Hui's Repositories

Jin-Hui/community
开源论坛、问答系统，现有功能提问、回复、通知、最新、最热、消除零回复功能。功能持续更新中…… 技术栈 Spring、Spring Boot、MyBatis、MySQL/H2、Bootstrap
Jin-Hui/solo
🎸 B3log 分布式社区的 Java 博客端节点系统，欢迎加入下一代社区网络。B3log distributed community blog-end node based on Java, welcome to join the next generation community network.
1
Jin-Hui/vueblog
一个前后端分离的简单博客案例，适合刚入门vue，学前后端分离的童鞋！
Jin-Hui/cbmc
C Bounded Model Checker
Language:C++
Jin-Hui/USTC-CS-Courses-Resource
:heart:**科学技术大学计算机学院课程资源(https://mbinary.xyz/ustc-cs/)
Language:C++1
Jin-Hui/cernet-ipv6-hosts
Lightweight IPv6 hosts! Access to Google, YouTube, Facebook, Wikipedia via IPv6 and avoid unnecessary block.
Jin-Hui/sv-benchmarks
Collection of Verification Tasks
Language:C