[ 🏠 BLog | 🕸 TG Channel | 🏫 NetVerify Lab | 🏫 NAOSI-DLUT | 📧 E-mail | 👻 GitHub | 👨🏻💻 Public Resources | 🌁 Gallery ]
组内开源项目请关注 XJTU-NetVerify,非公开项目存放私有仓库和组内 GitLab
[ 🏠 BLog | 🕸 TG Channel | 🏫 NetVerify Lab | 🏫 NAOSI-DLUT | 📧 E-mail | 👻 GitHub | 👨🏻💻 Public Resources | 🌁 Gallery ]
组内开源项目请关注 XJTU-NetVerify,非公开项目存放私有仓库和组内 GitLab
This is a modified version of bitbucket.org/vahidi/jdd, which is a decision diagram library written in pure java.
Java
Talk about the order when creating variables and constructing bdd.
Java 2
Forked from apvarun/blist-hugo-theme
Blist is a clean and fast blog theme for your Hugo site.
HTML 1
Some logos without Japanese from https://github.com/SAWARATSUKI/ServiceLogos
Day of Week | February Feb | March Mar | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | ||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |