Skip to content
View kyechou's full-sized avatar
🦝
🦝
72 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

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 mimesis Public

    Automated model extraction for network functions

    C++ 4

  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++ 9 5

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

    Library for lifting machine code to LLVM bitcode

    C++ 1.8k 187

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

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

    C 475 139

  5. jarun/nnn jarun/nnn Public

    n³ The unorthodox terminal file manager

    C 21.9k 815

  6. leagueoflegends leagueoflegends Public archive

    League of Legends install and launch wrapper for Linux

    Shell 291 22