Alternatives and similar repositories for coq-bpf

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

• jeffallen / miniv
  A C implementation of the minimal subset of Vanadium (vanadium.github.io) needed to send RPCs
  ☆11Updated 9 years ago
• google / btls
  BoringSSL-backed TLS and cryptography library for Haskell
  ☆15Updated 6 years ago
• google / clang-lens
  ☆20Updated 9 years ago
• scribble / scribble-java
  Core components for the Scribble Java tools
  ☆57Updated last year
• google / capsicum-test
  Test suite for Capsicum
  ☆45Updated last year
• google / svalbard
  Svalbard is a distributed backup system for long-term protection of secret data.
  ☆35Updated 6 years ago
• tfaoliveira / libjc
  ☆21Updated 2 years ago
• google / ohmu
  Compiler intermediate language for static analysis.
  ☆107Updated 6 years ago
• google / mawfs
  ☆63Updated last year
• google / fpc
  FPC calculates information to be used in fixed-point integer calculations
  ☆29Updated 8 years ago
• goose-lang / goose
  Goose converts a subset of Go to Rocq
  ☆132Updated this week
• DistributedComponents / disel
  Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
  ☆100Updated last year
• google / stijl
  Unified code review dashboard.
  ☆43Updated last year
• salesforce / runway-compiler
  Parses and executes Runway models of distributed systems
  ☆50Updated 3 years ago
• microsoft / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆231Updated 4 years ago
• pron / amazon-snapshot-spec
  TLA+ and Alloy specs of database isolation
  ☆21Updated 10 years ago
• google / intellij-gn-plugin
  ☆15Updated last year
• googleapis / gapic-generator-cpp
  Generate C++ API client libraries from Protocol Buffers.
  ☆13Updated 5 years ago
• thanm / dragongo
  LLVM IR generation "middle end" for LLVM-based go compiler.
  ☆18Updated 3 years ago
• google / ormolu
  This is a fork of https://github.com/tweag/ormolu.
  ☆13Updated 2 years ago
• google / szl
  A compiler and runtime for the Sawzall language
  ☆70Updated 5 years ago
• google / bongo
  ☆23Updated 3 years ago
• seL4 / isabelle
  git mirror of the Munich isabelle hg repository
  ☆127Updated this week
• plasma-umass / Rehearsal
  Rehearsal: A Configuration Verification Tool for Puppet
  ☆11Updated 5 years ago
• rems-project / lem
  Lem semantic definition language
  ☆146Updated 7 months ago
• tnelson / FlowLog
  ☆17Updated 10 years ago
• dgryski / modelchecking
  model checking samples
  ☆17Updated 4 years ago
• runtimeverification / k-editor-support
  Plugin files for editing K files
  ☆11Updated last year
• google / slothfs
  ☆59Updated 5 years ago
• geofflangdale / sheng
  A small DFA for under 16 states
  ☆52Updated 7 years ago