nchallak

nchallak's Stars

• crillab/gophersat

  gophersat, a SAT solver in Go

  Language:Go37123

• p4lang/p4-hlir

  Language:Python3240

• iovisor/bcc

  BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

  Language:C20.4k3.9k

• p4lang/p4c

  P4_16 reference compiler

  Language:C++667441