Weiyi CHEN's repositories
typst2report
华科计算机学院实验报告 typst 模板(基于华科毕业论文(本科) typst 模板)
prob-souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
qemuafl
This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.
pinentry-touchid
Custom GPG pinentry program for macOS that allows using Touch ID for fetching the password from the macOS keychain.
neovim-config
Why is VSCode so bloated now ... I might have made mistakes, but does that mean it is without fault?
minesweeper
Project of Hardware System @ HUST, Fall 2023 (Software Part)
computer-network-labs
Computer Communication and Network @ HUST, Fall 2023
symcc
SymCC: efficient compiler-based symbolic execution
symqemu
SymQEMU: Compilation-based symbolic execution for binaries
TiebaSignIn-1
利用github actions实现百度贴吧自动签到脚本,每日自动签到,获得8点经验。
database-system-experiments
Database System Experiments (MySQL) @ HUST, Spring 2023
machine-learning-assignments
Machine Learning @ HUST, Spring 2023
tai-e-programming-assignments
My implementation of the Tai-e framework, the online course Static Program Analysis programming assignment.
digital-circuit-and-logic-design-experiment
Digital Circuit and Logic Design experiment @ HUST, fall 2022.
hust-big-data-final-project
Introduction to Big Data @ HUST, fall 2022.
rust-solv
A package dependency solver using satisfiability algorithm, written in rust.
unique-lab-freshman-assignments
My solutions to Unique Lab freshman assignments.
kmeans
华科七边形 2021 秋季招新试题解答