google / coq-bpf

Related projects ⓘ

Alternatives and complementary repositories for coq-bpf

• google / kilt
  An experimental patchset management tool.
  ☆12Updated 4 years ago
• google / intellij-gn-plugin
  ☆14Updated 7 months ago
• google / btls
  BoringSSL-backed TLS and cryptography library for Haskell
  ☆16Updated 5 years ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆30Updated 7 years ago
• bagder / bcut
  cut out a small (binary) piece of a (binary) file
  ☆15Updated 13 years ago
• google / xsecurelock-saver-rs
  Rust + SFML Screensavers for XSecureLock
  ☆13Updated 3 years ago
• shinh / dumper
  A variable dumper for C/C++
  ☆13Updated 5 years ago
• google / git-rebaser
  ☆13Updated 4 years ago
• plasma-umass / Rehearsal
  Rehearsal: A Configuration Verification Tool for Puppet
  ☆11Updated 4 years ago
• google / vk-layer-for-rust
  ☆10Updated 3 months ago
• pyca / ed25519
  Optimized version of the reference implementation of Ed25519
  ☆34Updated 11 months ago
• leanprover / super
  Superposition prover
  ☆16Updated last year
• google / brotli-wheels
  Brotli wheels
  ☆11Updated last month
• shimmercat / second-transfer
  A library for creating HTTP/2 servers in Haskell.
  ☆9Updated 7 years ago
• google / simplecfg
  Simple CFG module for ExtendJ
  ☆11Updated 8 years ago
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  ☆0Updated 5 years ago
• google / bongo
  ☆22Updated 2 years ago
• fujita / rust-nvme
  ☆15Updated 2 years ago
• robbertkrebbers / compcert
  Fork of http://compcert.inria.fr/
  ☆22Updated 10 years ago
• google / kunit-docs
  ☆27Updated 2 months ago
• DistributedComponents / verdi-chord
  An implementation of the Chord lookup protocol verified in Coq using the Verdi framework
  ☆10Updated 5 years ago
• google / capsicum-test
  Test suite for Capsicum
  ☆46Updated last month
• google / clang-lens
  ☆20Updated 9 years ago
• upspin / gcp
  Google Cloud Platform support for Upspin
  ☆13Updated 7 months ago
• google / soong_verification
  ☆13Updated 4 years ago
• google / openssl-tests
  Running BoringSSL tests against OpenSSL
  ☆14Updated 3 years ago
• natefinch / tree
  A statically typed binary tree in Go without casts or reflection
  ☆19Updated 11 years ago
• karlmcguire / plru
  Pseudo-LRU implementation using 1-bit per entry and achieving Full-LRU performance.
  ☆19Updated last year
• seL4 / sel4runtime
  A minimal runtime for seL4 applications.
  ☆12Updated 4 months ago