SAGE disambiguates protocol description in an IETF RFC document, then converts the disambiguated protocol description into executable protocol implementation.
☆18Aug 9, 2021Updated 4 years ago
Alternatives and similar repositories for sage
Users that are interested in sage are comparing it to the libraries listed below
Sorting:
- High-Speed Stateful Packet Processor for Programmable Switches☆14Dec 18, 2022Updated 3 years ago
- ☆28Mar 10, 2024Updated last year
- A system for automated discovery of congestion control attacks on TCP implementations☆19Aug 21, 2018Updated 7 years ago
- Flood Mapping Intercomparison☆16Nov 5, 2025Updated 4 months ago
- PARADIS, a lightweight and flexible weather forecast model that tries to Keep It Simple.☆26Feb 4, 2026Updated last month
- A D4M module for Julia. D4M was developed in MATLAB by Dr Jeremy Kepner.☆12Sep 10, 2019Updated 6 years ago
- ☆22Jun 4, 2025Updated 9 months ago
- Automatic Test generator and Differential Tester for DNS Nameserver implementations☆35Sep 28, 2023Updated 2 years ago
- Code Repository for Dancing-with-Qubits-2E, Published by Packt☆19Updated this week
- Elastic-net VARMA: hyperparameter optimisation, estimation and forecasting☆11Jan 30, 2023Updated 3 years ago
- synced is a user space Synchronous Ethernet (Sync-E) stack for the Linux operating system. synced facilitates Sync-E, according to the IT…☆11Feb 5, 2025Updated last year
- Internet Censorship Course☆12Dec 2, 2025Updated 3 months ago
- ☆11May 9, 2023Updated 2 years ago
- Netrics - Active Measurements of Internet Performance☆12Sep 14, 2023Updated 2 years ago
- Main package for SeismicJulia project☆10Sep 12, 2024Updated last year
- PEP-DNA: a Performance Enhancing Proxy for Deploying Network Architectures☆10Jun 19, 2024Updated last year
- Mastodoner is a command line tool (and Python library) for archiving Mastodon, a decentralized micro-blogging social network.☆13Oct 21, 2024Updated last year
- ☆12Sep 4, 2022Updated 3 years ago
- Measure Linux kernel's modified condition/decision coverage (MC/DC)☆12Feb 3, 2026Updated last month
- Buku Komunitas SDN-RG☆12Dec 27, 2014Updated 11 years ago
- AI assisted Shell, aka "Ash". Wraps around your existing shell and brings AI-LLM to the CLI for analyzing EDA files.☆28Updated this week
- 基于阅读《奔跑吧Linux内核》的Linux 5.0内核源码注释☆10Mar 23, 2024Updated last year
- A regular expression to SMT-LIB constraint translator☆12Jul 12, 2025Updated 7 months ago
- Program the action in your Desmos graph to create animations for videos, presentations, etc.☆12Dec 16, 2021Updated 4 years ago
- AutoRNP -- Automated Repair of High Floating-Point Errors in Numerical Libraries☆12Dec 28, 2018Updated 7 years ago
- Code and Slides for PyData London 2022 Tutorial on MPI and Python☆12Jun 18, 2022Updated 3 years ago
- Discover Netflix's Open Connect Appliance (OCA) assigned to your connection. This tool fetches and displays detailed connectivity and hos…☆18Jul 22, 2025Updated 7 months ago
- DevTools Core Protocol specification☆10Apr 14, 2017Updated 8 years ago
- Limbo is a work-in-progress, in-process OLTP database management system, compatible with SQLite.☆17Updated this week
- Plug-and-Play Benchmarking of Reinforcement Learning Algorithms for Large-Scale Flow Control☆37Feb 22, 2026Updated 2 weeks ago
- Becoming a Data Analyst, First Edition, Published by Packt☆11Nov 6, 2023Updated 2 years ago
- Chaining of SR-aware and SR-unaware Service Functions☆10Apr 17, 2018Updated 7 years ago
- Learn from amazing Kagglers on Kaggle☆12Feb 26, 2023Updated 3 years ago
- A Throughput-Centric View of the Performance of Datacenter Topologies [SIGCOMM'21]☆10May 25, 2021Updated 4 years ago
- Course slides☆12Jan 14, 2025Updated last year
- The learning material used for my Nim course☆10Oct 6, 2025Updated 5 months ago
- An EDM-enabled PHY + a rack-level network simulator☆14Dec 11, 2024Updated last year
- Formalize "Logic Notes" by Lou van den Dries in Lean☆12May 31, 2025Updated 9 months ago
- This repository contains the public databases and code for the US Federal Debt project, which has been undertaken by Professor Tom Sargen…☆10Sep 11, 2018Updated 7 years ago