Pinned Repositories
7000
cadical
CaDiCaL SAT Solver
Chinese-Ten
Implemented in C++ in order to be familiar with system APIs (Windows, Linux) and cross-platform object-oriented programming.
Computer-Architecture
Implement the MIPS R3000 ISA with C/C++ in order to be familiar with the basics of computer architectures.
fabianbauermarquart-symqv-fa8ec7f
gta
🤖 Train a self-driving car in GTA V 🚗
libvata
VATA Tree Automata Library
lkm-hidden
A Linux kernel module which hides itself
PttChrome-and-term.ptt.cc-Enhanced-Add-on
能計算 PttChrome / term.ptt.cc 推文樓層的好物!
PyCT
alan23273850's Repositories
alan23273850/PttChrome-and-term.ptt.cc-Enhanced-Add-on
能計算 PttChrome / term.ptt.cc 推文樓層的好物!
alan23273850/Computer-Architecture
Implement the MIPS R3000 ISA with C/C++ in order to be familiar with the basics of computer architectures.
alan23273850/PyCT
alan23273850/7000
alan23273850/cadical
CaDiCaL SAT Solver
alan23273850/Chinese-Ten
Implemented in C++ in order to be familiar with system APIs (Windows, Linux) and cross-platform object-oriented programming.
alan23273850/fabianbauermarquart-symqv-fa8ec7f
alan23273850/gta
🤖 Train a self-driving car in GTA V 🚗
alan23273850/libvata
VATA Tree Automata Library
alan23273850/lkm-hidden
A Linux kernel module which hides itself
alan23273850/lkmpg
The Linux Kernel Module Programming Guide (updated for 5.x kernels)
alan23273850/Lode-Runner-Application
Experience gamification and large-scale programming by implementing Lode Runner (淘金者).
alan23273850/princess
The Princess Theorem Prover
alan23273850/PyExZ3
alan23273850/z3
The Z3 Theorem Prover