Skip to content
View kitsu418's full-sized avatar
🐭
Mouse
🐭
Mouse
49 followers · 58 following
  • Huazhong University of Sci. and Tech.
  • Gensokyo
  • X @ikitsuchi

Achievements

Achievement: Pull Sharkx2

Achievements

Achievement: Pull Sharkx2

Highlights

  • Pro
Block or Report

Block or report kitsu418

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • tai-e-programming-assignments Public

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

    Java 1 GNU Lesser General Public License v3.0 Updated Jul 20, 2024

  • praline Public

    C++ Updated Jun 14, 2024

  • typst2report Public

    Forked from vaaandark/typst2report

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

    Typst MIT License Updated Apr 13, 2024

  • prob-souffle Public

    Forked from souffle-lang/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.

    C++ Universal Permissive License v1.0 Updated Mar 21, 2024

  • qemuafl Public

    Forked from AFLplusplus/qemuafl

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

    C Other Updated Feb 25, 2024

  • RSSHub Public

    Forked from DIYgod/RSSHub

    🍰 Everything is RSSible

    JavaScript 1 MIT License Updated Feb 15, 2024

  • smt2souffle Public

    SMT BSD 2-Clause "Simplified" License Updated Feb 11, 2024

  • pinentry-touchid Public

    Forked from jorgelbg/pinentry-touchid

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

    Go 1 Apache License 2.0 Updated Feb 9, 2024

  • go-touchid Public

    Forked from lox/go-touchid
    Go Updated Feb 9, 2024

  • neovim-config Public

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

    Lua Updated Dec 17, 2023

  • kitsu418.github.io Public

    SCSS 1 Updated Dec 15, 2023

  • minesweeper Public

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

    C 3 Updated Oct 27, 2023

  • computer-network-labs Public

    Computer Communication and Network @ HUST, Fall 2023

    C++ 2 Updated Oct 24, 2023

  • symcc Public

    Forked from eurecom-s3/symcc

    SymCC: efficient compiler-based symbolic execution

    C++ GNU General Public License v3.0 Updated Sep 18, 2023

  • symqemu Public

    Forked from eurecom-s3/symqemu

    SymQEMU: Compilation-based symbolic execution for binaries

    C Other Updated Aug 28, 2023

  • TiebaSignIn-1 Public

    Forked from LuoSue/TiebaSignIn-1

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

    Java MIT License Updated Aug 28, 2023

  • database-system-experiments Public

    Database System Experiments (MySQL) @ HUST, Spring 2023

    Java 2 Updated Jun 27, 2023

  • machine-learning-assignments Public

    Machine Learning @ HUST, Spring 2023

    Python 2 Updated May 20, 2023

  • digital-circuit-and-logic-design-experiment Public

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

    Updated Nov 30, 2022

  • hust-big-data-final-project Public

    Introduction to Big Data @ HUST, fall 2022.

    Python 1 Updated Oct 31, 2022

  • rust-solv Public

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

    Rust 1 MIT License Updated Sep 17, 2022

  • unique-lab-freshman-assignments Public

    My solutions to Unique Lab freshman assignments.

    C Updated May 2, 2022

  • cs149-assignments Public

    C++ Updated Jan 21, 2022

  • kmeans Public

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

    C++ Updated Oct 29, 2021

  • csapp-labs-solutions Public

    C Updated Sep 11, 2021