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.
smartnic/rfcConversion’s past year of commit activity - packet-mlir Public
smartnic/packet-mlir’s past year of commit activity - angelix_findings Public
smartnic/angelix_findings’s past year of commit activity - k2-benchmarking Public
smartnic/k2-benchmarking’s past year of commit activity - ebpf-instruction-resolver Public
smartnic/ebpf-instruction-resolver’s past year of commit activity - ebpf-inline-testing Public
smartnic/ebpf-inline-testing’s past year of commit activity - ebpf-reassembler Public
smartnic/ebpf-reassembler’s past year of commit activity - ebpf-extractor Public
smartnic/ebpf-extractor’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…