Skip to content
View kyechou's full-sized avatar
🦝
🦝
64 followers · 21 following

Achievements

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

Achievements

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

Highlights

  • Pro

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 Loading

  1. mimesis Public

    Automated model extraction for network functions

    C++ 3

  2. netarch/neo Public

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

    C++ 8 5

  3. lifting-bits/remill Public

    Library for lifting machine code to LLVM bitcode

    C++ 1.4k 149

  4. nimble-code/Spin Public

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

    C 404 133

  5. jarun/nnn Public

    n³ The unorthodox terminal file manager

    C 20k 764

  6. leagueoflegends Public archive

    League of Legends install and launch wrapper for Linux

    Shell 293 22