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