google / coq-bpfLinks
Coq BPF interpreter
☆19Updated 8 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:
- BoringSSL-backed TLS and cryptography library for Haskell☆15Updated 7 years ago
- The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.☆125Updated 2 years ago
- Test suite for Capsicum☆45Updated last year
- A C implementation of the minimal subset of Vanadium (vanadium.github.io) needed to send RPCs☆11Updated 9 years ago
- Svalbard is a distributed backup system for long-term protection of secret data.☆35Updated 7 years ago
- Rehearsal: A Configuration Verification Tool for Puppet☆11Updated 6 years ago
- Plugin files for editing K files☆12Updated last year
- ☆23Updated 3 years ago
- LVC verified compiler☆60Updated 7 years ago
- FPC calculates information to be used in fixed-point integer calculations☆29Updated 9 years ago
- Core components for the Scribble Java tools☆58Updated last year
- Haskell RSA Library☆21Updated 4 years ago
- TLA+ and Alloy specs of database isolation☆21Updated 10 years ago
- Program Round-off Error Certifier via Static Analysis☆56Updated 2 months ago
- The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for P…☆47Updated last year
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- ☆20Updated 10 years ago
- Goose converts a subset of Go to Rocq☆137Updated last week
- Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq☆100Updated last year
- ☆63Updated last year
- A small DFA for under 16 states☆54Updated 7 years ago
- Rust implementation of CryptoURI: URN-like namespace for cryptographic objects with Bech32-based encoding☆37Updated 2 years ago
- ☆21Updated 3 years ago
- Verified implementation of TLS 1.3 in F*☆179Updated 11 months ago
- Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust☆20Updated 5 years ago
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆236Updated 5 years ago
- ALLVM Tools☆57Updated 3 years ago
- Symbolic formula representation and solver interaction library☆174Updated this week
- Parses and executes Runway models of distributed systems☆50Updated 3 years ago
- Lem semantic definition language☆150Updated 10 months ago