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 7 years ago
• google / svalbard
  Svalbard is a distributed backup system for long-term protection of secret data.
  ☆35Updated 7 years ago
• google / capsicum-test
  Test suite for Capsicum
  ☆45Updated last year
• google / clang-lens
  ☆20Updated 10 years ago
• pron / amazon-snapshot-spec
  TLA+ and Alloy specs of database isolation
  ☆21Updated 10 years ago
• goose-lang / goose
  Goose converts a subset of Go to Rocq
  ☆137Updated this week
• google / mawfs
  ☆63Updated last year
• scribble / scribble-java
  Core components for the Scribble Java tools
  ☆58Updated last year
• google / fpc
  FPC calculates information to be used in fixed-point integer calculations
  ☆29Updated 9 years ago
• plasma-umass / Rehearsal
  Rehearsal: A Configuration Verification Tool for Puppet
  ☆11Updated 6 years ago
• runtimeverification / k-editor-support
  Plugin files for editing K files
  ☆12Updated last year
• tfaoliveira / libjc
  ☆21Updated 3 years ago
• DistributedComponents / verdi-lockserv
  An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework
  ☆14Updated 8 years ago
• rems-project / lem
  Lem semantic definition language
  ☆150Updated 10 months ago
• googleapis / gapic-generator-cpp
  Generate C++ API client libraries from Protocol Buffers.
  ☆13Updated 6 years ago
• karlmcguire / plru
  Pseudo-LRU implementation using 1-bit per entry and achieving Full-LRU performance.
  ☆22Updated 3 years ago
• project-everest / mitls-fstar
  Verified implementation of TLS 1.3 in F*
  ☆179Updated 11 months ago
• mgree / smoosh
  The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
  ☆125Updated 2 years ago
• NuxiNL / flower
  Label-based networking daemon
  ☆23Updated 7 years ago
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆56Updated last month
• google / tock-on-titan
  Ports of Tock OS to Titan chips.
  ☆56Updated 3 years ago
• mit-plv / riscv-coq
  RISC-V Specification in Coq
  ☆116Updated 3 weeks ago
• elfsternberg / riggedregex
  Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust
  ☆20Updated 5 years ago
• google / capsicum-linux
  Linux kernel with Capsicum support
  ☆211Updated 5 years ago
• jvns / ltrace-bcc
  ltrace clone that uses bcc + uprobes instead of ptrace
  ☆48Updated 7 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆60Updated 7 years ago
• thanm / dragongo
  LLVM IR generation "middle end" for LLVM-based go compiler.
  ☆18Updated 3 years ago
• frugalos / liberasurecode
  A Rust wrapper for `openstack/liberasurecode`
  ☆21Updated 5 years ago
• google / bongo
  ☆23Updated 3 years ago