Alternatives and similar repositories for navc

Users that are interested in navc are comparing it to the libraries listed below

• google / ohmu
  Compiler intermediate language for static analysis.
  ☆107Updated 6 years ago
• google / capsicum-linux
  Linux kernel with Capsicum support
  ☆209Updated 5 years ago
• google / szl
  A compiler and runtime for the Sawzall language
  ☆70Updated 5 years ago
• libos-nuse / linux-libos-tools
  userspace tools for linux libos
  ☆96Updated 3 years ago
• llvm-mirror / zorg
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆21Updated 5 years ago
• cyrus-and / gdb
  Go GDB/MI interface
  ☆85Updated 2 years ago
• vmware-archive / vprobe-toolkit
  This toolkit provides an interactive, programmer-friendly interface to VMware's VProbes facility. VProbes is a safe, dynamic technology f…
  ☆36Updated 5 years ago
• vanadium / core
  Slimmed down version of Vanadium that is focused on its RPC and security system.
  ☆91Updated 11 months ago
• cdaylward / libappc
  A C++ library for working with App Containers
  ☆53Updated 8 years ago
• google / file-system-stress-testing
  A tool that can be used to stress test POSIX filesystems.
  ☆104Updated 9 years ago
• google / cronutils
  utilities to assist running periodic batch processing jobs
  ☆119Updated last year
• rumpkernel / rumpctrl
  Control and diagnostic applications for rump kernels
  ☆36Updated 8 years ago
• brendangregg / DTrace-tools
  DTrace tools for FreeBSD
  ☆71Updated 8 years ago
• google / capsicum-test
  Test suite for Capsicum
  ☆45Updated 11 months ago
• sinelaw / elfs-clang-plugins
  A collection of clang plugins for safer C programming
  ☆91Updated 6 years ago
• bnoordhuis / ragel
  Ragel State Machine Compiler - http://www.complang.org/ragel/
  ☆158Updated 9 years ago
• aclements / commuter
  Automated multicore scalability testing tool
  ☆87Updated 9 years ago
• yotamr / traces
  API tracing framework for Linux C/C++ applications
  ☆160Updated 9 years ago
• facebookarchive / iterlib
  Iterator library.
  ☆79Updated 5 years ago
• rocky / go-fish
  A simple go REPL building on top of the go-interactive expression evaluator
  ☆42Updated 10 years ago
• zimmski / tavor
  A generic fuzzing and delta-debugging framework
  ☆247Updated 6 years ago
• regehr / ub-canaries
  collection of C/C++ programs that try to get compilers to exploit undefined behavior
  ☆184Updated 6 years ago
• dholm / voidwalker
  A GDB toolbox for low-level debugging
  ☆137Updated 11 years ago
• intel / lineuse
  I-cache line packing and branch misprediction measuring tool
  ☆18Updated 8 years ago
• sbinet / go-clang
  DEPRECATED. use https://github.com/go-clang. CGo bindings to the C-api of libclang.
  ☆53Updated 9 years ago
• google / redgrep
  ♥ Janusz Brzozowski
  ☆163Updated last year
• google / shipshape
  Program analysis platform
  ☆270Updated 6 years ago
• facebookarchive / treadmill
  An intelligent loadtester
  ☆123Updated 3 years ago
• wkschwartz / pigosat
  Go (golang) bindings for Picosat, the satisfiability solver
  ☆17Updated 7 years ago
• google / mt
  Modern, minimalist, minty-fresh terminal
  ☆52Updated 7 years ago