alan23273850

Wei-Lun Tsai's repositories

能計算 PttChrome / term.ptt.cc 推文樓層的好物！

Language:JavaScriptMIT1300

Language:OpenQASMMIT12 3 3

Implement the MIPS R3000 ISA with C/C++ in order to be familiar with the basics of computer architectures.

Language:C6 20

Language:PythonNOASSERTION6 10

Language:Python020

CaDiCaL SAT Solver

Language:C++MIT000

Implemented in C++ in order to be familiar with system APIs (Windows, Linux) and cross-platform object-oriented programming.

Language:C++MIT000

Language:PythonMIT000

🤖 Train a self-driving car in GTA V 🚗

Language:Jupyter NotebookGPL-3.0000

VATA Tree Automata Library

Language:RoffGPL-3.0000

A Linux kernel module which hides itself

Language:CGPL-2.0000

The Linux Kernel Module Programming Guide (updated for 5.x kernels)

Language:TeXOSL-3.0010

Experience gamification and large-scale programming by implementing Lode Runner (淘金者).

Language:Java040

The Princess Theorem Prover

Language:ScalaNOASSERTION000

Language:HTMLNOASSERTION020

The Z3 Theorem Prover

Language:SMTNOASSERTION000