Alternatives and similar repositories for coq-bpf

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

• google / btls
  BoringSSL-backed TLS and cryptography library for Haskell
  ☆15Updated 6 years ago
• plasma-umass / Rehearsal
  Rehearsal: A Configuration Verification Tool for Puppet
  ☆11Updated 5 years ago
• runtimeverification / k-editor-support
  Plugin files for editing K files
  ☆11Updated last year
• scribble / scribble-java
  Core components for the Scribble Java tools
  ☆58Updated last year
• google / clang-lens
  ☆20Updated 10 years ago
• tnelson / FlowLog
  ☆17Updated 10 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆58Updated 7 years ago
• pron / amazon-snapshot-spec
  TLA+ and Alloy specs of database isolation
  ☆21Updated 10 years ago
• google / capsicum-test
  Test suite for Capsicum
  ☆45Updated last year
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆50Updated last month
• elfsternberg / riggedregex
  Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust
  ☆20Updated 5 years ago
• goose-lang / goose
  Goose converts a subset of Go to Rocq
  ☆134Updated this week
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆14Updated last month
• emina / kodkod
  Kodkod solver for relational logic
  ☆79Updated 2 years ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆124Updated 5 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• googleapis / gapic-generator-cpp
  Generate C++ API client libraries from Protocol Buffers.
  ☆13Updated 5 years ago
• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆23Updated 3 years ago
• bryankate / pequod
  A distributed key-value cache with builtin materialized views.
  ☆25Updated 10 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆32Updated 6 months ago
• softdevteam / krun
  High fidelity benchmark runner
  ☆90Updated 4 years ago
• salesforce / runway-compiler
  Parses and executes Runway models of distributed systems
  ☆50Updated 3 years ago
• GaloisInc / RSA
  Haskell RSA Library
  ☆20Updated 4 years ago
• rems-project / lem
  Lem semantic definition language
  ☆147Updated 7 months ago
• ostreedev / gvariant-rs
  A pure-rust implementation of the GVariant serialisation format
  ☆13Updated 4 months ago
• tfaoliveira / libjc
  ☆21Updated 2 years ago
• google / ormolu
  This is a fork of https://github.com/tweag/ormolu.
  ☆13Updated 2 years ago
• google / tock-on-titan
  Ports of Tock OS to Titan chips.
  ☆55Updated 3 years ago
• google / ohmu
  Compiler intermediate language for static analysis.
  ☆107Updated 6 years ago
• camlp4 / camlp4
  Camlp4 tool
  ☆102Updated last month