google / coq-bpf
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
- An experimental patchset management tool.☆12Updated 4 years ago
- BoringSSL-backed TLS and cryptography library for Haskell☆15Updated 6 years ago
- ☆10Updated 3 years ago
- Haskell Bazel rules and cabal2bazel import tool.☆42Updated 4 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- ☆20Updated 9 years ago
- Simple CFG module for ExtendJ☆11Updated 8 years ago
- ☆11Updated 7 months ago
- Rust firewall for seL4☆10Updated 6 years ago
- Plugin files for editing K files☆11Updated 7 months ago
- Test suite for Capsicum☆45Updated 6 months ago
- ☆23Updated 2 years ago
- Optimized version of the reference implementation of Ed25519☆35Updated last year
- HPKE implementation for Zig.☆17Updated last month
- Formal semantics of LLVM IR in K☆44Updated 9 years ago
- The framework for next generation data center.☆16Updated 2 months ago
- Rust + SFML Screensavers for XSecureLock☆14Updated 3 years ago
- A library for creating HTTP/2 servers in Haskell.☆9Updated 7 years ago
- LLTZ: Compiler from MLIR to Michelson☆13Updated 2 months ago
- Interactive development for Bazel/Haskell rules☆49Updated 3 years ago
- Rehearsal: A Configuration Verification Tool for Puppet☆11Updated 5 years ago
- This program post-processes the stack frames produced by `MozFormatCodeAddress()`.☆21Updated 2 years ago
- cut out a small (binary) piece of a (binary) file☆15Updated 13 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆29Updated this week
- Label-based networking daemon☆22Updated 6 years ago
- Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust☆19Updated 5 years ago
- Copy-on-write NFS server☆15Updated 15 years ago
- SSH Pubkey Registry☆23Updated 7 years ago
- TLS WG Wiki☆13Updated 3 months ago
- The Cubicle model checker☆13Updated last year