Alternatives and similar repositories for coq-bpf

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

• google / btls
  BoringSSL-backed TLS and cryptography library for Haskell
  ☆15Updated 6 years ago
• runtimeverification / k-editor-support
  Plugin files for editing K files
  ☆12Updated last year
• google / clang-lens
  ☆20Updated 10 years ago
• tfaoliveira / libjc
  ☆21Updated 2 years ago
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆50Updated 2 months ago
• plasma-umass / Rehearsal
  Rehearsal: A Configuration Verification Tool for Puppet
  ☆11Updated 5 years ago
• scribble / scribble-java
  Core components for the Scribble Java tools
  ☆58Updated last year
• goose-lang / goose
  Goose converts a subset of Go to Rocq
  ☆135Updated this week
• google / capsicum-test
  Test suite for Capsicum
  ☆45Updated last year
• sigurdschneider / lvc
  LVC verified compiler
  ☆58Updated 7 years ago
• rems-project / lem
  Lem semantic definition language
  ☆148Updated 8 months ago
• seL4 / capdl
  Capability Distribution Language tools for seL4
  ☆37Updated last week
• google / svalbard
  Svalbard is a distributed backup system for long-term protection of secret data.
  ☆35Updated 7 years ago
• mgree / smoosh
  The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
  ☆124Updated 2 years ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆124Updated 5 years ago
• google / fpc
  FPC calculates information to be used in fixed-point integer calculations
  ☆29Updated 8 years ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆14Updated last month
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• rems-project / cn
  CN separation logic refinement type system for C
  ☆41Updated this week
• google / ormolu
  This is a fork of https://github.com/tweag/ormolu.
  ☆13Updated 2 years ago
• googleapis / gapic-generator-cpp
  Generate C++ API client libraries from Protocol Buffers.
  ☆13Updated 5 years ago
• vzaliva / helix
  Formally verified operator language and rewriting engine for high-performance computing
  ☆30Updated last year
• emina / kodkod
  Kodkod solver for relational logic
  ☆80Updated 2 years ago
• seL4 / isabelle
  git mirror of the Munich isabelle hg repository
  ☆128Updated this week
• camlp4 / camlp4
  Camlp4 tool
  ☆102Updated last month
• mit-pdos / daisy-nfsd
  DaisyNFS is an NFS server verified using Dafny and Perennial.
  ☆41Updated last year
• DistributedComponents / disel
  Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
  ☆100Updated last year
• mit-plv / bedrock
  Coq library for verified low-level programming
  ☆60Updated 8 years ago
• raviqqe / fmm
  The uncurried minimal functional programming language for CPS transformation
  ☆18Updated last year
• PrincetonUniversity / DeepSpecDB
  ☆27Updated last week