Skip to content
View kyechou's full-sized avatar
🦝
🦝
56 followers · 22 following

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Starstruckx2Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Starstruckx2Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor
BetaSend feedback

Highlights

  • Pro
Block or Report

Block or report kyechou

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
kyechou/README.md

GitHub Stats   Top Languages

Pinned

  1. mimesis mimesis Public

    Automated model extraction for network functions

    C++ 3

  2. netarch/neo netarch/neo Public

    A network testing tool combining formal model checking and container-based emulation that covers in-network non-determinism

    C++ 8 4

  3. lifting-bits/remill lifting-bits/remill Public

    Library for lifting machine code to LLVM bitcode

    C++ 1.2k 139

  4. nimble-code/Spin nimble-code/Spin Public

    Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.

    C 336 124

  5. jarun/nnn jarun/nnn Public

    n³ The unorthodox terminal file manager

    C 18.4k 733

  6. leagueoflegends leagueoflegends Public archive

    League of Legends install and launch wrapper for Linux

    Shell 289 23