-
p4-spectec-lean Public
P4-SpecTec to Lean 4 certifying compiler
Lean Apache License 2.0 UpdatedOct 30, 2026 -
-
-
-
-
p4lang__p4mlir Public
Forked from p4lang/p4mlir-incubatorAn experimental project to bring MLIR to P4C.
C++ Other UpdatedSep 24, 2026 -
teach-myself-lean-2026 Public
Teach myself Lean (lean-lang.org) in 2026
MIT License UpdatedSep 20, 2026 -
Exhaustive Enumeration of Selection Observations in Pure Dataflow Graphs: A Survey and Unified Framework
Python Creative Commons Attribution 4.0 International UpdatedSep 7, 2026 -
symbolic-execution-hardware Public
Symbolic Execution of Digital Hardware Designs: A Systematic Map of Path-Conditioned Design Execution
Python Creative Commons Attribution 4.0 International UpdatedSep 7, 2026 -
Agent-Assisted Evidence Synthesis: A Survey
Python Creative Commons Attribution 4.0 International UpdatedSep 7, 2026 -
-
-
-
-
-
-
-
-
p4lang__p4per Public
Forked from p4lang/p4perFork of p4lang/p4per
Shell Apache License 2.0 UpdatedMay 31, 2026 -
-
-
-
-
-
fork__p4lang__tutorials Public
Forked from p4lang/tutorialsP4 Apache License 2.0 UpdatedJun 23, 2024 -
-
-
-
p4-tutorial-docker Public
A Docker image for doing the P4 Tutorial (https://github.com/p4lang/tutorials)
-
tock-energy-tracker Public archive
TET: A Proof-of-Concept Tock Energy Tracker
Jupyter Notebook UpdatedOct 20, 2021
{{ message }}