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 / orthotope
  ☆10Updated 3 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 / cabal2bazel
  Haskell Bazel rules and cabal2bazel import tool.
  ☆42Updated 3 years ago
• google / capsicum-test
  Test suite for Capsicum
  ☆46Updated 5 months ago
• shimmercat / second-transfer
  A library for creating HTTP/2 servers in Haskell.
  ☆9Updated 7 years ago
• google / clang-lens
  ☆20Updated 9 years ago
• karlmcguire / plru
  Pseudo-LRU implementation using 1-bit per entry and achieving Full-LRU performance.
  ☆19Updated 2 years ago
• bagder / bcut
  cut out a small (binary) piece of a (binary) file
  ☆15Updated 13 years ago
• runtimeverification / k-editor-support
  Plugin files for editing K files
  ☆11Updated 7 months ago
• russross / cownfs
  Copy-on-write NFS server
  ☆15Updated 15 years ago
• elfsternberg / riggedregex
  Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust
  ☆19Updated 5 years ago
• google / simplecfg
  Simple CFG module for ExtendJ
  ☆11Updated 8 years ago
• frugalos / liberasurecode
  A Rust wrapper for `openstack/liberasurecode`
  ☆21Updated 4 years ago
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  Updated 5 years ago
• Hirevo / koak
  A compiler for a little statically-typed language implemented in Haskell.
  ☆13Updated 5 years ago
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 10 years ago
• janestreet / core_extended
  Jane Street Capital's standard library overlay
  ☆34Updated 4 months ago
• GaloisInc / llvm-pretty
  An llvm pretty printer inspired by the haskell llvm binding
  ☆29Updated this week
• BurntSushi / gohead
  An xrandr wrapper script to manage multi-monitor configurations. With hooks.
  ☆13Updated 5 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• google / bitutils
  scripts to ease working with binary numbers
  ☆16Updated 7 years ago
• codahale / nanostat
  A Rust library and CLI tool for evaluating whether two or more sets of measurements are statistically different.
  ☆16Updated 2 years ago
• fujita / rust-nvme
  ☆15Updated 2 years ago
• mariaschett / ppltr
  A PoPuLaToR for a PeePhoLe opTimizeR
  ☆12Updated 3 years ago
• reznikmm / jwt
  JSON Web Token (JWT) implementation in Ada
  ☆12Updated 4 years ago
• NuxiNL / flower
  Label-based networking daemon
  ☆22Updated 6 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆44Updated 9 years ago
• mirage / eqaf
  Constant time equal function to avoid timing attacks in OCaml
  ☆51Updated 8 months ago