Pinned Loading

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.3k 145

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

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

   C 368 129

5. jarun/nnn jarun/nnn Public

   n³ The unorthodox terminal file manager

   C 19.4k 761

6. leagueoflegends leagueoflegends Public archive

   League of Legends install and launch wrapper for Linux

   Shell 291 22