Pinned Loading

1. jdd jdd Public

   This is a modified version of bitbucket.org/vahidi/jdd, which is a decision diagram library written in pure java.

   Java 1

2. ViFi ViFi Public

   A multi-model human activity detection tool. My Undergraduate Graduation Design

   Python 4

3. bdd-undergra-thinking bdd-undergra-thinking Public

   Talk about the order when creating variables and constructing bdd.

   Java 2

4. blist-hugo-theme blist-hugo-theme Public

   Forked from apvarun/blist-hugo-theme

   This is a modified version of Blist theme (https://blist.vercel.app) in hugo blog framework. These changes are fit to our lab webiste (can be access by https://xjtu-netverify.github.io)

   HTML 1 1

5. PublicResources PublicResources Public

   个人自制公开资源，欢迎非商用使用

   Python 3

6. ServiceLogosEn ServiceLogosEn Public

   Some logos without Japanese from https://github.com/SAWARATSUKI/ServiceLogos

   24 6