google / coq-bpfLinks
Coq BPF interpreter
☆19Updated 7 years ago
Alternatives and similar repositories for coq-bpf
Users that are interested in coq-bpf are comparing it to the libraries listed below
Sorting:
- An experimental patchset management tool.☆12Updated 4 years ago
- ☆10Updated 3 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- BoringSSL-backed TLS and cryptography library for Haskell☆15Updated 6 years ago
- ☆28Updated 9 months ago
- ☆20Updated 9 years ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 6 years ago
- Superposition prover☆17Updated 2 years ago
- A library for creating HTTP/2 servers in Haskell.☆9Updated 7 years ago
- Rehearsal: A Configuration Verification Tool for Puppet☆11Updated 5 years ago
- Jane Street Capital's standard library overlay☆36Updated 3 weeks ago
- Test suite for Capsicum☆44Updated 8 months ago
- The rewrite of TLAPM, the TLAPS proof manager☆1Updated 5 years ago
- formalization of theorems of higher algebraic K-theory☆8Updated 11 years ago
- Rust firewall for seL4☆10Updated 7 years ago
- Haskell Bazel rules and cabal2bazel import tool.☆42Updated 4 years ago
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- ☆15Updated last year
- ☆15Updated 2 years ago
- The jqsh scripting language☆12Updated 9 years ago
- LLTZ: Compiler from MLIR to Michelson☆14Updated 5 months ago
- ☆13Updated 4 years ago
- A PoPuLaToR for a PeePhoLe opTimizeR☆12Updated 3 years ago
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Updated 3 years ago
- Ports of Tock OS to Titan chips.☆54Updated 3 years ago
- ☆19Updated 2 years ago
- OCaml bindings for RE2☆47Updated last month
- Formal semantics of LLVM IR in K☆44Updated 9 years ago
- Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust☆20Updated 5 years ago
- The Cubicle model checker☆13Updated last year