FangStars

FangStars's Stars

• nsg-ethz/mini_internet_project

  The official repository of the mini-Internet exercise.

  Language:Shell19349

• tudo-aqua/z3-turnkey

  TurnKey artifact for Z3

  Language:Java366

• testsmt/yinyang

  A fuzzing framework for SMT solvers

  Language:Python18523

• MobSF/Mobile-Security-Framework-MobSF

  Mobile Security Framework (MobSF) is an automated, all-in-one mobile application (Android/iOS/Windows) pen-testing, malware analysis and security assessment framework capable of performing static and dynamic analysis.

  Language:JavaScript17.8k3.3k

• sosy-lab/java-smt

  JavaSMT - Unified Java API for SMT solvers.

  Language:Java19446

• vmware/differential-datalog

  DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.

  Language:Java1.4k122

• pcardotatgit/My_NeXt-UI_Tutorials

  Cisco NeXt-UI tutorials

  Language:HTML21

• CiscoDevNet/pathman-sr

  Pathman SR is an open-source app to compute paths and deploy routes in Segment Routing-enabled network.

  Language:Python9833

• netarch/neo

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

  Language:C++84

• batfish/batfish

  Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configurations. It enables network engineers to rapidly and safely evolve their network, without fear of outages or security breaches.

  Language:Java1.2k235