Alternatives and similar repositories for coq-bpf

Users that are interested in coq-bpf are comparing it to the libraries listed below

• google / kilt
  An experimental patchset management tool.
  ☆12Updated 4 years ago
• google / kunit-docs
  ☆28Updated 10 months ago
• google / simplecfg
  Simple CFG module for ExtendJ
  ☆11Updated 8 years ago
• google / intellij-gn-plugin
  ☆15Updated last year
• google / svalbard
  Svalbard is a distributed backup system for long-term protection of secret data.
  ☆36Updated 6 years ago
• google / pubkeystore
  SSH Pubkey Registry
  ☆23Updated 8 years ago
• google / xsecurelock-saver-rs
  Rust + SFML Screensavers for XSecureLock
  ☆14Updated 3 years ago
• google / capsicum-test
  Test suite for Capsicum
  ☆44Updated 9 months ago
• google / identity-aware-prober
  ☆12Updated 6 years ago
• google / sprockets
  Sprockets is a framework for conformance testing based on state transitions.
  ☆11Updated 5 years ago
• google / mawfs
  ☆63Updated last year
• google / byterun
  A Python implementation of a Python bytecode runner
  ☆16Updated 5 years ago
• google / quark
  ☆10Updated 6 years ago
• google / pikov
  Tool to create and edit Pikov pixel art Markov chain animations.
  ☆17Updated 4 years ago
• google / stijl
  Unified code review dashboard.
  ☆42Updated last year
• google / go-cabfile
  ☆9Updated 2 years ago
• frugalos / liberasurecode
  A Rust wrapper for `openstack/liberasurecode`
  ☆21Updated 4 years ago
• google / fuchsiaware
  ☆18Updated 2 years ago
• tlswg / tlswg-wiki
  TLS WG Wiki
  ☆13Updated 2 weeks ago
• google / codeu_coding_assessment_2017
  This project allows students to demonstrate their coding skills before entering CodeU. Students will complete this JSON-lite object and J…
  ☆10Updated 8 years ago
• google / hotel-booking-api-validator
  Utility to assist partner develop and test their Book on Google API integration.
  ☆19Updated 4 years ago
• aws / ec2-macos-system-monitor
  Amazon EC2 System Monitor for macOS is the on instance agent that provides basic CloudWatch metrics like CPU Utilization.
  ☆13Updated 2 months ago
• BurntSushi / gohead
  An xrandr wrapper script to manage multi-monitor configurations. With hooks.
  ☆13Updated 5 years ago
• google / kir-holiday-lights
  ☆19Updated 5 months ago
• google / pymql
  The Metaweb Query Language
  ☆21Updated 4 years ago
• google / web-bsd-hunt
  Port of the networked real-time multi-player 2D maze war BSD game "Hunt" to Google App Engine and modern web browsers
  ☆34Updated 2 years ago
• bagder / bcut
  cut out a small (binary) piece of a (binary) file
  ☆15Updated 13 years ago
• google / guice-aqueduct
  Guice binder to configure Chained instances to form a pipeline
  ☆11Updated 4 years ago
• google / self-published-geo
  ☆14Updated 4 years ago
• google / language-jsonnet
  Jsonnet language support for the Atom text editor
  ☆25Updated 2 years ago