Code for parsing out augmented packet header diagrams from IETF documents
☆17Jan 8, 2026Updated last month
Alternatives and similar repositories for ips-protodesc-code
Users that are interested in ips-protodesc-code are comparing it to the libraries listed below
Sorting:
- Rust binding for gpr☆17Aug 8, 2025Updated 6 months ago
- Multiparty Session Types toolKit☆15May 7, 2025Updated 9 months ago
- A cryptographic library in SPARK 2014☆28Jan 26, 2021Updated 5 years ago
- FUSION is an open-source project aimed at revolutionizing networking through the simulation of advanced SD-EONs and AI-enhanced networks,…☆13Feb 18, 2026Updated last week
- Tooling for analysis and manipulation of Ada software☆35Oct 18, 2024Updated last year
- ☆10Oct 3, 2018Updated 7 years ago
- A command line utility for downloading Xbox screenshots and game clips to local storage☆10Apr 22, 2024Updated last year
- ☆13Mar 26, 2024Updated last year
- IGD implementation in pure Python☆10Jul 28, 2022Updated 3 years ago
- ☆11Sep 8, 2022Updated 3 years ago
- chat on Solid with @Julian-Cole use of Shighl https://github.com/scenaristeur/shighl☆16Jan 7, 2023Updated 3 years ago
- VaniDL is an tool for analyzing I/O patterns and behavior with Deep Learning Applications.☆10Jul 8, 2022Updated 3 years ago
- an optimizing curry compiler☆14Nov 27, 2022Updated 3 years ago
- A Julia/JuMP Package for Joint Optimization of Power and Water Distribution Networks☆12Dec 20, 2022Updated 3 years ago
- A parser and AST for Lustre☆12Oct 30, 2024Updated last year
- A first approach of getting a pure Ada program running on an FPGA with SaxonSOC☆11Apr 12, 2021Updated 4 years ago
- IoT-LAB Yocto repository☆14Aug 31, 2022Updated 3 years ago
- An open standard to build applications that respect data ownership.☆10Sep 17, 2021Updated 4 years ago
- CHERI sample C programs☆12Jan 16, 2025Updated last year
- WASM on CloudFlare Workers☆12Aug 13, 2022Updated 3 years ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year
- Test Kitchen for LX Zones☆12May 8, 2018Updated 7 years ago
- okl4 git for porting to realview_eb RTSM platform☆15Oct 17, 2012Updated 13 years ago
- Repository of benchmarks for SYNTCOMP☆14Sep 16, 2025Updated 5 months ago
- all random stuff that dont warrant a seperate repo☆12Sep 2, 2022Updated 3 years ago
- HLS project modeling various sparse accelerators.☆12Jan 11, 2022Updated 4 years ago
- Source code for the experimental, compact "wee" file compression utility.☆13May 8, 2020Updated 5 years ago
- Application server for MRI☆12Jun 22, 2017Updated 8 years ago
- Libraries useful for Dafny programs☆49Aug 19, 2025Updated 6 months ago
- Switches for HIRE: Resource Scheduling for Data Center In-Network Computing☆13Jan 18, 2021Updated 5 years ago
- Calculates the maximum stack depth required by GCC-compiled code☆11Aug 28, 2024Updated last year
- Unified Maude model-checking tool☆13Feb 4, 2026Updated 3 weeks ago
- 🔍 Code Search Tools & Experiments☆12Feb 24, 2026Updated last week
- Discrete-Event Simulation in R☆11Sep 14, 2017Updated 8 years ago
- TOSCA definitions repository for the RADON project☆12Aug 23, 2022Updated 3 years ago
- A Redex tutorial with a focus on how to do work in Redex☆11Oct 21, 2024Updated last year
- ☆13Oct 20, 2021Updated 4 years ago
- ☆12Jul 8, 2023Updated 2 years ago
- This script explicitly includes the parameters such as fiber length, diameter, orientation, distribution, and fiber volume fraction. Stra…☆15Sep 8, 2021Updated 4 years ago