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 / clang-lens
  ☆20Updated 9 years ago
• google / btls
  BoringSSL-backed TLS and cryptography library for Haskell
  ☆15Updated 6 years ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆31Updated 7 years ago
• google / orthotope
  ☆10Updated 3 years ago
• DistributedComponents / verdi-chord
  An implementation of the Chord lookup protocol verified in Coq using the Verdi framework
  ☆10Updated 6 years ago
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  Updated 5 years ago
• google / netkat
  Domain specific language (DSL) and system for specifying, programming, and reasoning about packet-switched networks
  ☆17Updated this week
• plasma-umass / Rehearsal
  Rehearsal: A Configuration Verification Tool for Puppet
  ☆11Updated 5 years ago
• google / cabal2bazel
  Haskell Bazel rules and cabal2bazel import tool.
  ☆42Updated 3 years ago
• karlmcguire / plru
  Pseudo-LRU implementation using 1-bit per entry and achieving Full-LRU performance.
  ☆19Updated 2 years ago
• elfsternberg / riggedregex
  Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust
  ☆19Updated 4 years ago
• google / capsicum-test
  Test suite for Capsicum
  ☆46Updated 4 months ago
• google / kunit-docs
  ☆27Updated 5 months ago
• google / vk-layer-for-rust
  ☆11Updated 6 months ago
• google / simplecfg
  Simple CFG module for ExtendJ
  ☆11Updated 8 years ago
• janestreet / re2
  OCaml bindings for RE2
  ☆45Updated 3 months ago
• google / bongo
  ☆23Updated 2 years ago
• shimmercat / second-transfer
  A library for creating HTTP/2 servers in Haskell.
  ☆9Updated 7 years ago
• frugalos / liberasurecode
  A Rust wrapper for `openstack/liberasurecode`
  ☆21Updated 4 years ago
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 10 years ago
• GaloisInc / llvm-pretty
  An llvm pretty printer inspired by the haskell llvm binding
  ☆29Updated 2 months ago
• google / arolla
  ☆18Updated this week
• fujita / rust-nvme
  ☆15Updated 2 years ago
• google / intellij-gn-plugin
  ☆14Updated 10 months ago
• janestreet / core_extended
  Jane Street Capital's standard library overlay
  ☆34Updated 3 months ago
• jin / rules_ocaml
  OCaml build rules for Bazel
  ☆37Updated 3 years ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆13Updated 11 months ago
• tlswg / tlswg-wiki
  TLS WG Wiki
  ☆13Updated last month
• ponylang / crypto
  Library of common cryptographic algorithms and functions for Pony
  ☆11Updated last week