SwiterLee

SwiterLee's Stars

• ytti/oxidized

  Oxidized is a network device configuration backup tool. It's a RANCID replacement!

  Language:Ruby2.8k1282k931

• napalm-automation/napalm

  Network Automation and Programmability Abstraction Layer with Multivendor support

  Language:Python2.3k151635556

• LIANGKE23/Awesome-Knowledge-Graph-Reasoning

  AKGR: Awesome Knowledge Graph Reasoning is a collection of knowledge graph reasoning works, including papers, codes and datasets

  1.2k125136

• google/capirca

  Multi-platform ACL generation system

  Language:Python78967152210

• evanmiller/LLM-Reading-List

  LLM papers I'm reading, mostly on inference and model compression

  70423032

• CiscoDevNet/python_code_samples_network

  A collection of Python Code Samples for Network Management. Includes samples to run on-box and off-box.

  Language:Python6831397452

• ai4co/rl4co

  A PyTorch library for all things Reinforcement Learning (RL) for Combinatorial Optimization (CO)

  Language:Python47599286

• Lei-Kun/DRL-and-graph-neural-network-for-routing-problems

  This is the official code for the published paper 'Solve routing problems with a residual edge-graph attention neural network'

  Language:Python2021024

• open-traffic-generator/ixia-c

  Ixia-c Traffic Generator

  Language:Go201178917

• RFCNLP/RFCNLP

  Open-source code for RFCNLP paper.

  Language:Promela535119

• PrincetonUniversity/lucid

  Language:OCaml4071310

• batfish/af19-demo

  Batfish Network CI demo for Ansiblefest 2019

  Language:Python336011

• dns-groot/Ferret

  Automatic Test generator and Differential Tester for DNS Nameserver implementations

  Language:Python32245

• nsg-ethz/config2spec

  Mining Network Specifications from Network Configurations

  Language:Python281217

• konne88/bagpipe

  BGP Policy Verification

  Language:Coq25313

• microsoft/NeMoEval

  A Benchmark Tool for Natural Language-based Network Management

  Language:Python21348

• OrderLab/violet

  Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration

  Language:Shell17320

• TrusteeML/emperor

  AI/ML and Cybersecurity: The Emperor has no Clothes

  Language:JavaScript17323

• nsg-ethz/Metha

  A framework for automated testing of network analysis and verification tools.

  Language:Python161313

• eth-sri/learning-to-configure-networks

  [NeurIPS'22] Learning to Configure Computer Networks with Neural Algorithmic Reasoning

  12121

• nsg-ethz/Chameleon

  Taming the transient while reconfiguring BGP (SIGCOMM'23)

  Language:Rust9810

• netarch/neo

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

  Language:C++86214

• netgroup-polito/verefoo

  VEREFOO (VErified REFinement and Optimized Orchestrator) is a framework designed to provide an automatic way to allocate packet filters – in a Service Graph defined by the service designer and an auto-configuration technique to create firewall rules with respect to the specified security requirements.

  Language:Java82305

• nsg-ethz/SDNRacer

  SDNRacer is the first comprehensive dynamic and controller-agnostic concurrency analyzer for production-grade SDN controllers.

  Language:Python5701

• FangStars/z3_network_guided

  Language:C++4101

• sands-lab/dnn-verification-infocom2021

  Language:Python3300

• kashifme224/Awesome-Knowledge-Graph-Reasoning

  AKGR: Awesome Knowledge Graph Reasoning is a collection of knowledge graph reasoning works, including papers, codes and datasets

  2000

• netgroup-polito/verigraph

  Verigraph is a tool for automatically checking network graphs containing dynamic network middleboxes.

  Language:Java21901

• shiibaryu/ip_address_anonymizer

  only for our research usage

  Language:C++1200

• zhenyu-zhou/pnm-loss-nsdi22

  1300