Pinned Repositories
DefQed
The DefQed Repository.
ANT-APCT-Paper
Source for paper A new type of automated prover based on category theory.
Android-x86-Manifest-OSDN-8.1
AutoPlaX
A smaller BeepTweakable-like utility for Linux systems.
BeepTweakable
XML-driven framework to play sounds at a regular time.
ConfTSlideshow
Slideshow for application of WLF -> Sci-T conference. Hope I can get admission.
CSharp-Classess
DefQed-Benchmark
Benchmark of the DefQed algorithm, to be used in my paper.
GAExperiments
Bypassing the Great Fire Wall using GitHub Actions...
HexoPublishScript
One (two) key script to fix Hexo broken links & publish it~
ZijianFelixWang's Repositories
ZijianFelixWang/Vertex
The Vertex Project repo
ZijianFelixWang/ZijianFelixWang
ZijianFelixWang/ANT-APCT-Paper
Source for paper A new type of automated prover based on category theory.
ZijianFelixWang/DefQed-Benchmark
Benchmark of the DefQed algorithm, to be used in my paper.
ZijianFelixWang/DefQed
The DefQed Repository.
ZijianFelixWang/z3-CLR
The Z3 Theorem Prover, on CLR now.
ZijianFelixWang/ConfTSlideshow
Slideshow for application of WLF -> Sci-T conference. Hope I can get admission.
ZijianFelixWang/zijianfelixwang.github.io
GHPages...
ZijianFelixWang/HexoPublishScript
One (two) key script to fix Hexo broken links & publish it~
ZijianFelixWang/Tezitoven
Simple PowerPoint VBA to play quizs with kids
ZijianFelixWang/GAExperiments
Bypassing the Great Fire Wall using GitHub Actions...
ZijianFelixWang/MagiskOnWSA
(Fork) Integrate Magisk root and Google Apps (OpenGApps) into WSA (Windows Subsystem for Android)
ZijianFelixWang/Vertex-Binaries
ZijianFelixWang/Android-x86-Manifest-OSDN-8.1
ZijianFelixWang/CSharp-Classess
ZijianFelixWang/AutoPlaX
A smaller BeepTweakable-like utility for Linux systems.
ZijianFelixWang/BeepTweakable
XML-driven framework to play sounds at a regular time.
ZijianFelixWang/YABS
Yet another backup of https://github.com/shadowsocks/shadowsocks