google / shipshapeLinks
Program analysis platform
☆270Updated 6 years ago
Alternatives and similar repositories for shipshape
Users that are interested in shipshape are comparing it to the libraries listed below
Sorting:
- A generic fuzzing and delta-debugging framework☆247Updated 6 years ago
- srclib is a polyglot code analysis library, built for hackability. It consists of language analysis toolchains (currently for Go and Java…☆937Updated 9 years ago
- Web dashboard for tracking the TODOs in a Git repo☆185Updated last year
- C code indexer using language semantic from clang☆60Updated 6 years ago
- Kythe is a pluggable, (mostly) language-agnostic ecosystem for building tools that work with code.☆2,049Updated 3 weeks ago
- ☆352Updated 4 years ago
- ☆491Updated 10 years ago
- A License Classifier☆337Updated this week
- A faster file programming language detector☆461Updated 3 years ago
- Platypus Platform: Tools for Scalable Deployment☆197Updated 5 years ago
- Assisted code review, running custom code analyzers on pull requests☆152Updated 4 years ago
- Generate bazel dependencies for maven artifacts☆82Updated 5 years ago
- A self-hosted server for source code parsing☆365Updated last year
- Track code coverage metrics with Jenkins and Phabricator☆186Updated 5 years ago
- Babelfish documentation (GitBook)☆42Updated 5 years ago
- Mirror pull requests into git-appraise☆94Updated 7 months ago
- ☆19Updated 2 months ago
- Reliable project licenses detector.☆237Updated 2 years ago
- Tool for launching a Linux process from a snapshot☆451Updated 10 years ago
- LUCI (go) (GitHub mirror)☆151Updated this week
- Accompanying Repository for The Verification of a Distributed System Talk☆190Updated 9 years ago
- utilities to assist running periodic batch processing jobs☆119Updated last year
- Projects related to end-to-end tracing and causal metadata propagation, such as X-Trace, Retro, and Pivot Tracing☆89Updated 3 years ago
- ☆232Updated last year
- Metrics Query Engine☆171Updated 6 months ago
- HTTP/2 fuzzer written in Golang☆179Updated 9 years ago
- 鯰: Programmable fuzzy scheduler for testing distributed systems☆493Updated 7 years ago
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆325Updated 9 years ago
- A fast SAT solver☆153Updated 4 years ago
- Linux kernel with Capsicum support☆209Updated 5 years ago