Alternatives and similar repositories for coq-bpf:

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

• google / kilt
  An experimental patchset management tool.
  ☆12Updated 4 years ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆31Updated 7 years ago
• google / btls
  BoringSSL-backed TLS and cryptography library for Haskell
  ☆15Updated 6 years ago
• google / orthotope
  ☆10Updated 3 years ago
• fujita / rust-nvme
  ☆15Updated 2 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆44Updated 9 years ago
• google / vk-layer-for-rust
  ☆11Updated 8 months ago
• google / simplecfg
  Simple CFG module for ExtendJ
  ☆11Updated 8 years ago
• google / intellij-gn-plugin
  ☆15Updated last year
• google / cabal2bazel
  Haskell Bazel rules and cabal2bazel import tool.
  ☆42Updated 4 years ago
• google / clang-lens
  ☆20Updated 9 years ago
• DistributedComponents / verdi-chord
  An implementation of the Chord lookup protocol verified in Coq using the Verdi framework
  ☆10Updated 6 years ago
• google / capsicum-test
  Test suite for Capsicum
  ☆44Updated 7 months ago
• GaloisInc / rustwall
  Rust firewall for seL4
  ☆10Updated 6 years ago
• google / kunit-docs
  ☆28Updated 8 months ago
• shimmercat / second-transfer
  A library for creating HTTP/2 servers in Haskell.
  ☆9Updated 7 years ago
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  Updated 5 years ago
• google / bongo
  ☆23Updated 2 years ago
• plasma-umass / Rehearsal
  Rehearsal: A Configuration Verification Tool for Puppet
  ☆11Updated 5 years ago
• frugalos / liberasurecode
  A Rust wrapper for `openstack/liberasurecode`
  ☆21Updated 4 years ago
• google / xsecurelock-saver-rs
  Rust + SFML Screensavers for XSecureLock
  ☆14Updated 3 years ago
• jedisct1 / zig-hpke
  HPKE implementation for Zig.
  ☆17Updated 2 months ago
• pron / amazon-snapshot-spec
  TLA+ and Alloy specs of database isolation
  ☆20Updated 9 years ago
• runtimeverification / k-editor-support
  Plugin files for editing K files
  ☆11Updated 8 months ago
• gazette / ping-pong
  Example bare-bones gazette consumer application that plays ping pong. _At Scale_!
  ☆15Updated 4 years ago
• jedisct1 / rust-bpf
  A Rust crate to attach BPF filters
  ☆14Updated 7 months ago
• dgryski / modelchecking
  model checking samples
  ☆17Updated 3 years ago
• karlmcguire / plru
  Pseudo-LRU implementation using 1-bit per entry and achieving Full-LRU performance.
  ☆19Updated 2 years ago
• ponylang / crypto
  Library of common cryptographic algorithms and functions for Pony
  ☆12Updated 3 weeks ago
• bagder / bcut
  cut out a small (binary) piece of a (binary) file
  ☆15Updated 13 years ago