smartnic
Popular repositories Loading
-
-
bpf-profile
bpf-profile PublicProfiling bpf programs such as overall latency and hotspots.
Python 5
-
-
Repositories
Showing 10 of 27 repositories
- rfcConversion Public
Automate the extraction of formal protocol specifications from RFCs by converting natural-language requirements into First-Order Logic (FOL) and SMT-LIB, using a hybrid rule-based + LLM pipeline with Z3 solver integration for validation.
- packet-mlir Public
- angelix_findings Public
- k2-benchmarking Public
- ebpf-instruction-resolver Public
- ebpf-inline-testing Public
- ebpf-reassembler Public
- ebpf-extractor Public
Top languages
Loading…
Most used topics
Loading…