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. We may earn a commission when you buy through links labeled 'Ad' on this page.

• google / source_helper.dart

  View on GitHub
  Utilities to help with Dart source code generation.
  ☆18Mar 1, 2026Updated 3 weeks ago
• google / re2d

  View on GitHub
  D language binding of RE2 regex engine.
  ☆14Aug 6, 2023Updated 2 years ago
• google / audit-normalmap

  View on GitHub
  ☆15Mar 20, 2017Updated 9 years ago
• google / edf

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

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

  View on GitHub
  Splot for Java: An Experimental IoT Machine-to-Machine Library for Monitoring, Control, and Automation
  ☆16Mar 11, 2026Updated last week
• google / ormolu

  View on GitHub
  This is a fork of https://github.com/tweag/ormolu.
  ☆13May 20, 2023Updated 2 years ago
• 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 / report2bq

  View on GitHub
  ☆13May 6, 2024Updated last year
• google / process_runner

  View on GitHub
  ☆20Oct 30, 2025Updated 4 months ago
• google / clang-lens

  View on GitHub
  ☆20Oct 26, 2015Updated 10 years ago
• google / codeu-starter-project

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

  View on GitHub
  ☆18Feb 27, 2026Updated 3 weeks ago
• bowlofeggs / rems

  View on GitHub
  A Finite Difference Time Domain (FDTD) simulator written in Rust
  ☆13Apr 17, 2024Updated last year
• google / flight-lab

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

  View on GitHub
  CodeMirror in Dart
  ☆15May 26, 2015Updated 10 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 / 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
• svn2github / edif2kicad

  View on GitHub
  This is a clone of an SVN repository at http://svn.code.sf.net/p/edif2kicad/code. It had been cloned by http://svn2github.com/ , but the …
  ☆12Jun 7, 2016Updated 9 years ago
• hotsphink / sfink-tools

  View on GitHub
  Steve Fink's random development tools
  ☆17Jan 14, 2026Updated 2 months ago
• google / sync_http.dart

  View on GitHub
  ☆18Feb 1, 2026Updated last month
• google / speed-opportunity-finder

  View on GitHub
  ☆11Nov 5, 2020Updated 5 years ago
• akiss-xyz / tomorrow

  View on GitHub
  A small graphical calculator project.
  ☆10Oct 6, 2021Updated 4 years ago
• google / blockly-tools

  View on GitHub
  tools for developing Blockly
  ☆18Apr 28, 2020Updated 5 years ago
• google / flutter-stream-extensions

  View on GitHub
  ☆18May 10, 2023Updated 2 years ago
• ZiCog / sodor-spinal

  View on GitHub
  An implementation of the Sodor 1-Stage RISC-V processor in SpinalHDL.
  ☆14Jun 5, 2019Updated 6 years ago
• pardom-zz / redux-observable

  View on GitHub
  Redux RxJava Observable middleware for Kotlin
  ☆11Sep 18, 2017Updated 8 years ago
• lameproject / lame

  View on GitHub
  Unmonitored mirror for LAME Project - LAME source
  ☆19Dec 3, 2020Updated 5 years ago
• hanwen / gitfs

  View on GitHub
  ☆25Feb 9, 2016Updated 10 years ago
• google / aidl-language

  View on GitHub
  VSCode extension providing syntax highlighting for AIDL, the Android Interface Definition Language.
  ☆26Mar 2, 2026Updated 3 weeks ago
• typelevel / scalaz-specs2

  View on GitHub
  Specs2 bindings for Scalaz
  ☆34Dec 28, 2017Updated 8 years ago
• bigdot123456 / 5GPolar

  View on GitHub
  Polar encoding & decoding
  ☆13Sep 17, 2019Updated 6 years ago
• google / safe-active-record

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

  View on GitHub
  JsInterop java annotations for J2CL and GWT
  ☆23Mar 5, 2026Updated 2 weeks ago
• google / quiver-log

  View on GitHub
  Logging utility for Dart
  ☆24Mar 16, 2022Updated 4 years ago
• darach / eep-erl

  View on GitHub
  eep.erl - Embedded Event Processing
  ☆37Jul 3, 2015Updated 10 years ago
• google / angular-directed-graph

  View on GitHub
  ☆18Oct 29, 2024Updated last year
• 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 / broken-dns

  View on GitHub
  ☆21Dec 18, 2024Updated last year