Mechanization toolchain for the P4 programming language
☆26Oct 29, 2026Updated this week
Alternatives and similar repositories for p4-spectec
Users that are interested in p4-spectec are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- P4 formalization using Ott and HOL4☆20Oct 21, 2026Updated last week
- ☆70Aug 26, 2026Updated 2 months ago
- ECMAScript Specification (ECMA-262) Metalanguage☆270Updated this week
- Ideas for P4 Projects.☆15Sep 18, 2024Updated 2 years ago
- Always wanted to write performant P4 based networking application in Go but don't know where to start? Then this is the place to get to. …☆18Feb 24, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Reducing P4 Language’s Voluminosity using Higher-Level Constructs☆15Oct 15, 2022Updated 4 years ago
- An experimental project to bring MLIR to P4C.☆17Oct 21, 2026Updated last week
- Go client for P4Runtime☆43Mar 18, 2026Updated 7 months ago
- KAIST. Formal Languages and Automata. Fall semester.☆19Dec 11, 2024Updated last year
- Set of tutorials that use PINS☆25Oct 31, 2022Updated 3 years ago
- ESnet SmartNIC firmware design repository.☆14Oct 22, 2026Updated last week
- ☆17Nov 10, 2025Updated 11 months ago
- ☆67Oct 22, 2026Updated last week
- Rust BFRT interface to configure Intel Tofino switches.☆11Jul 10, 2026Updated 3 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Some notes to build and run P4 DPDK target☆23Aug 21, 2022Updated 4 years ago
- An Automated Performance Optimization Framework for P4-Programmable SmartNICs☆28Nov 18, 2023Updated 2 years ago
- Morpheus: Domain Specific Run Time Optimization for Software Data Planes -- Presented at ASPLOS22☆36Apr 11, 2024Updated 2 years ago
- P4.org's Participation in Google Summer of Code☆32Oct 6, 2026Updated 3 weeks ago
- Daily EDN exports of ClojureDocs's database.☆10Dec 14, 2024Updated last year
- Issue tracker for Typst's web app.☆27Sep 16, 2024Updated 2 years ago
- ☆12Sep 18, 2026Updated last month
- ☆16Aug 7, 2020Updated 6 years ago
- ☆136Apr 3, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- KMLA Online 민사고 학생 커뮤니티☆11Sep 27, 2025Updated last year
- Common Lisp style loops in Clojure☆14Sep 10, 2009Updated 17 years ago
- A handy cli interface to searching and opening books from your calibre library or recently read titles from your library.☆10Jun 14, 2020Updated 6 years ago
- Infrastructure needed to generate, build and install the PD library for a given P4 program☆13Jul 11, 2017Updated 9 years ago
- ☆20Oct 20, 2026Updated last week
- Dockerfile language service for providing an API to create feature-rich Dockerfile editors in JavaScript.☆19Feb 7, 2026Updated 8 months ago
- Realizing clojure data structures, no more laziness☆16Nov 7, 2023Updated 2 years ago
- A P4 compiler☆138Oct 22, 2026Updated last week
- ☆11Sep 9, 2021Updated 5 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A collection of specs for clojure.core☆14Nov 22, 2017Updated 8 years ago
- Typst Kanbun Kundoku renderer☆15Jan 12, 2026Updated 9 months ago
- Code for "Yoav Zuriel, Michal Friedman, Gali Sheffi, Nachshon Cohen, and Erez Petrank. Efficient Lock-Free Durable Sets, OOPSLA 2019" (ht…☆19Jan 30, 2020Updated 6 years ago
- Parallel universes for namespaces☆12Nov 2, 2012Updated 13 years ago
- ☆19Jan 23, 2026Updated 9 months ago
- Java Class file parser and analyzer written in Clojure☆15Dec 2, 2019Updated 6 years ago
- Get a Voronoi diagram given some points☆16Jan 9, 2018Updated 8 years ago