google/coq-bpf external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

google/coq-bpf

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/google/coq-bpf)

Close

google / coq-bpfView on GitHubMore

• External links
• Readme badge

Coq BPF interpreter

☆19Jan 18, 2018Updated 8 years ago

Alternatives and similar repositories for coq-bpf

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

• google / spindle-dv360

  View on GitHub
  QA dashboard for DV360 advertisers
  ☆13Jan 20, 2021Updated 5 years ago
• google / re2d

  View on GitHub
  D language binding of RE2 regex engine.
  ☆14Aug 6, 2023Updated 2 years ago
• google / exposure-notifications-private-analytics-ingestion

  View on GitHub
  This repository contains implementation to process private data shares collected according to the Exposure Notification Private Analytics…
  ☆12Sep 19, 2024Updated last year
• google / audit-normalmap

  View on GitHub
  ☆15Mar 20, 2017Updated 8 years ago
• google / codeu-starter-project

  View on GitHub
  ☆12Sep 1, 2022Updated 3 years ago
• google / source_helper.dart

  View on GitHub
  Utilities to help with Dart source code generation.
  ☆17Feb 1, 2026Updated last month
• google / report2bq

  View on GitHub
  ☆13May 6, 2024Updated last year
• google-marketing-solutions / replicate_mango

  View on GitHub
  Assortment Analytics with Google - Optimize your product assortment with the help of Google’s Merchant Center.
  ☆14Sep 17, 2021Updated 4 years ago
• google / speed-opportunity-finder

  View on GitHub
  ☆10Nov 5, 2020Updated 5 years ago
• google / edf

  View on GitHub
  ☆15Aug 3, 2020Updated 5 years ago
• google / flight-lab

  View on GitHub
  ☆15Jul 23, 2024Updated last year
• google / business_intelligence_group

  View on GitHub
  ☆18Updated this week
• google / ormolu

  View on GitHub
  This is a fork of https://github.com/tweag/ormolu.
  ☆13May 20, 2023Updated 2 years ago
• google / splot-java

  View on GitHub
  Splot for Java: An Experimental IoT Machine-to-Machine Library for Monitoring, Control, and Automation
  ☆16Mar 31, 2021Updated 4 years ago
• google / comid

  View on GitHub
  CodeMirror in Dart
  ☆15May 26, 2015Updated 10 years ago
• google / angular-directed-graph

  View on GitHub
  ☆18Oct 29, 2024Updated last year
• google / process_runner

  View on GitHub
  ☆20Oct 30, 2025Updated 4 months ago
• google / flutter-stream-extensions

  View on GitHub
  ☆18May 10, 2023Updated 2 years ago
• google / sync_http.dart

  View on GitHub
  ☆18Feb 1, 2026Updated last month
• google / clang-lens

  View on GitHub
  ☆20Oct 26, 2015Updated 10 years ago
• google / aidl-language

  View on GitHub
  VSCode extension providing syntax highlighting for AIDL, the Android Interface Definition Language.
  ☆25Updated this week
• google / jsinterop-annotations

  View on GitHub
  JsInterop java annotations for J2CL and GWT
  ☆23Feb 6, 2026Updated 3 weeks ago
• google / blockly-tools

  View on GitHub
  tools for developing Blockly
  ☆18Apr 28, 2020Updated 5 years ago
• google / dart-sync-socket

  View on GitHub
  A Dart VM Native Extension and supporting Dart libraries that provide synchronous socket and HTTP client support.
  ☆25Oct 3, 2017Updated 8 years ago
• google / dart_google_apps

  View on GitHub
  Interop libraries to write Google Apps scripts in the Dart programming language.
  ☆24Apr 29, 2020Updated 5 years ago
• google / Safelight

  View on GitHub
  Safelight is a web application that aids in developing Halide programs. It currently works for x86-64 Linux and Mac OS machines running t…
  ☆22Dec 5, 2018Updated 7 years ago
• google / safe-active-record

  View on GitHub
  Security middleware to defend against SQL injection in Active Record.
  ☆18Aug 4, 2025Updated 6 months ago
• google / broken-dns

  View on GitHub
  ☆21Dec 18, 2024Updated last year
• google / quiver-log

  View on GitHub
  Logging utility for Dart
  ☆24Mar 16, 2022Updated 3 years ago
• google / gce-rescue

  View on GitHub
  GCE Rescue is a command-line tool to boot Google Cloud Platform VMs in Rescue Mode.
  ☆14Dec 22, 2023Updated 2 years ago
• google / apps_script_tools

  View on GitHub
  Tools for writing Apps Scripts in the Dart programming language
  ☆26Dec 15, 2019Updated 6 years ago
• google / s2a-go

  View on GitHub
  ☆26Sep 29, 2025Updated 5 months ago
• google / playhvz

  View on GitHub
  ☆26Jun 27, 2024Updated last year
• google / cssi-labs

  View on GitHub
  ☆34Jul 27, 2021Updated 4 years ago
• google / segy-stack

  View on GitHub
  A library with C++ and Python API to read 3D Post-stack seismic data in SEG-Y format.
  ☆28Oct 2, 2021Updated 4 years ago
• github / mlops

  View on GitHub
  Use GitHub to facilitate automation, collaboration and reproducibility in your machine learning workflows.
  ☆27Oct 6, 2022Updated 3 years ago
• google / libpam-policycache

  View on GitHub
  Password caching module with advanced policies for PAM.
  ☆34Jun 30, 2021Updated 4 years ago
• google / j2cl-protobuf

  View on GitHub
  Protocol Buffers implementation for J2CL
  ☆25Mar 7, 2025Updated 11 months ago
• chaoss / grimoirelab-elk

  View on GitHub
  ☆61Feb 11, 2026Updated 3 weeks ago