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 / btls
  BoringSSL-backed TLS and cryptography library for Haskell
  ☆15Updated 6 years ago
• google / clang-lens
  ☆20Updated 9 years ago
• google / orthotope
  ☆10Updated 3 years ago
• janestreet / core_extended
  Jane Street Capital's standard library overlay
  ☆36Updated this week
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆31Updated 7 years ago
• russross / cownfs
  Copy-on-write NFS server
  ☆15Updated 15 years ago
• fujita / rust-nvme
  ☆15Updated 2 years ago
• frugalos / liberasurecode
  A Rust wrapper for `openstack/liberasurecode`
  ☆21Updated 4 years ago
• google / bongo
  ☆23Updated 3 years ago
• plasma-umass / Rehearsal
  Rehearsal: A Configuration Verification Tool for Puppet
  ☆11Updated 5 years ago
• GaloisInc / rustwall
  Rust firewall for seL4
  ☆10Updated 6 years ago
• ostreedev / gvariant-rs
  A pure-rust implementation of the GVariant serialisation format
  ☆12Updated last year
• shimmercat / second-transfer
  A library for creating HTTP/2 servers in Haskell.
  ☆9Updated 7 years ago
• savant2212 / solo5-rs
  Rust wrapper around Solo5 (https://github.com/solo5/solo5) unikernel base layer
  ☆11Updated 7 years ago
• jrandall / petardfs
  PetardFS - a FUSE filessytem for injecting intentional errors (e.g. for testing)
  ☆16Updated 6 years ago
• BurntSushi / gohead
  An xrandr wrapper script to manage multi-monitor configurations. With hooks.
  ☆13Updated 5 years ago
• elfsternberg / riggedregex
  Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust
  ☆20Updated 5 years ago
• google / cabal2bazel
  Haskell Bazel rules and cabal2bazel import tool.
  ☆42Updated 4 years ago
• google / xsecurelock-saver-rs
  Rust + SFML Screensavers for XSecureLock
  ☆14Updated 3 years ago
• DistributedComponents / verdi-chord
  An implementation of the Chord lookup protocol verified in Coq using the Verdi framework
  ☆10Updated 6 years ago
• jedisct1 / zig-hpke
  HPKE implementation for Zig.
  ☆17Updated 2 months ago
• runtimeverification / k-editor-support
  Plugin files for editing K files
  ☆11Updated 9 months ago
• antifuchs / deptyr
  Run your tty programs pseudo-headlessly under a process supervisor
  ☆14Updated 7 years ago
• google / simplecfg
  Simple CFG module for ExtendJ
  ☆11Updated 8 years ago
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 13 years ago
• fossas / spectrometer
  Flexible, robust, and performant dependency analysis.
  ☆20Updated 3 years ago
• bagder / bcut
  cut out a small (binary) piece of a (binary) file
  ☆15Updated 13 years ago
• ponylang / crypto
  Library of common cryptographic algorithms and functions for Pony
  ☆12Updated last month
• talex5 / tla
  A Dockerfile for building the TLA+ tools
  ☆13Updated 6 years ago