kitsu418 Goto Github PK

computer-network-labs

Computer Communication and Network @ HUST, Fall 2023

cs149-assignments

csapp-labs-solutions

database-system-experiments

Database System Experiments (MySQL) @ HUST, Spring 2023

digital-circuit-and-logic-design-experiment

Digital Circuit and Logic Design experiment @ HUST, fall 2022.

go-touchid

hust-big-data-final-project

Introduction to Big Data @ HUST, fall 2022.

kitsu418.github.io

kmeans

华科七边形 2021 秋季招新试题解答

machine-learning-assignments

Machine Learning @ HUST, Spring 2023

minesweeper

Project of Hardware System @ HUST, Fall 2023 (Software Part)

neovim-config

Why is VSCode so bloated now ... I might have made mistakes, but does that mean it is without fault?

pinentry-touchid

Custom GPG pinentry program for macOS that allows using Touch ID for fetching the password from the macOS keychain.

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.

problog

qemuafl

This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.

rsshub

🍰 Everything is RSSible

rust-solv

A package dependency solver using satisfiability algorithm, written in rust.

smt2souffle

symcc

SymCC: efficient compiler-based symbolic execution

symqemu

SymQEMU: Compilation-based symbolic execution for binaries

tai-e-programming-assignments

My implementation of the Tai-e framework, the online course Static Program Analysis programming assignment.

tiebasignin-1

利用github actions实现百度贴吧自动签到脚本，每日自动签到，获得8点经验。

typst2report

华科计算机学院实验报告 typst 模板（基于华科毕业论文（本科） typst 模板）

unique-lab-freshman-assignments

My solutions to Unique Lab freshman assignments.