nsg-ethz / synetView external linksLinks
SyNET Network-wide Configuration Synthesis
☆28Dec 7, 2017Updated 8 years ago
Alternatives and similar repositories for synet
Users that are interested in synet are comparing it to the libraries listed below
Sorting:
- Mining Network Specifications from Network Configurations☆35Nov 20, 2020Updated 5 years ago
- [NSDI'22] Differential Network Analysis☆13Jun 2, 2022Updated 3 years ago
- Data repository of NAssim☆29Aug 18, 2022Updated 3 years ago
- A framework for automated testing of network analysis and verification tools.☆17Feb 23, 2021Updated 4 years ago
- Framwork for the work "Large Language Models for Zero Touch Network Configuration Management"☆12Jun 20, 2024Updated last year
- [NeurIPS'22] Learning to Configure Computer Networks with Neural Algorithmic Reasoning☆11Oct 18, 2022Updated 3 years ago
- A Framework for Modeling and Analyzing Network Configurations☆35Feb 20, 2023Updated 2 years ago
- ☆81Apr 13, 2018Updated 7 years ago
- A Chrome Extension that detects Phishing Websites and alerts the user regarding the same.☆11Jun 23, 2019Updated 6 years ago
- Node.js SDK for IBM X-Force Exchange☆15Aug 20, 2018Updated 7 years ago
- ☆11May 16, 2025Updated 8 months ago
- Git + .Net/Mono = ❤☆11Mar 22, 2016Updated 9 years ago
- The repository for c9.ide.run.debug, a Cloud9 core plugin☆13Jun 21, 2018Updated 7 years ago
- ☆10Jun 1, 2023Updated 2 years ago
- Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configu…☆1,340Updated this week
- Documentation Assets☆12Jul 5, 2023Updated 2 years ago
- Guide to Java Exceptions Handling☆15Aug 22, 2018Updated 7 years ago
- OrientDB Module for Play! framework☆24Aug 4, 2013Updated 12 years ago
- A C#.NET library to write scalable and elastic workflows in AWS cloud.☆13Dec 8, 2022Updated 3 years ago
- A .NET wrapper for CloudConvert's API.☆19Dec 11, 2017Updated 8 years ago
- In this training will be covered about a very basic step for malware analysis. Using several free tools to recognize malware behavior. Si…☆12May 25, 2016Updated 9 years ago
- Automatic Test Packet Generation☆47Aug 11, 2015Updated 10 years ago
- Data mining with Go.☆10Sep 16, 2018Updated 7 years ago
- Assignment questions for Nengo tutorial☆11Apr 11, 2024Updated last year
- ☆10Feb 21, 2017Updated 8 years ago
- My version of driller using Intel PIN and angrgdb. In "theory" can work with AFL in deferred and persistent mode.☆13Feb 10, 2019Updated 7 years ago
- Network representation learning on drug-target-side effects-indication graphs for side effect prediction☆13Feb 4, 2020Updated 6 years ago
- Container Virtual Service☆13Aug 10, 2022Updated 3 years ago
- ☆21Jun 30, 2014Updated 11 years ago
- Convert URL's to a normalized unicode format☆14Apr 9, 2023Updated 2 years ago
- Repository that contains all the source code for the OneNote Developer Videos Series.☆15Jun 21, 2016Updated 9 years ago
- Tooling to build a custom Confluent Platform Kafka Connect container with additional connectors from Confluent Hub.☆15Oct 26, 2020Updated 5 years ago
- ☆10Jul 5, 2023Updated 2 years ago
- WARNING: This repository is no longer maintained ⚠️ This repository will not be updated.☆12Jun 4, 2019Updated 6 years ago
- WorldEngine's PyQt based GUI☆13Jul 9, 2015Updated 10 years ago
- The first large scale formally verified reasoning dataset for Verilog☆19May 16, 2025Updated 8 months ago
- ☆10Feb 5, 2026Updated last week
- The dataset and source code for paper "Automating Intention"☆10Dec 19, 2018Updated 7 years ago
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆12Aug 19, 2017Updated 8 years ago