google / shipshapeLinks
Program analysis platform
☆271Updated 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…☆938Updated 8 years ago
- Web dashboard for tracking the TODOs in a Git repo☆184Updated last year
- C code indexer using language semantic from clang☆61Updated 6 years ago
- ☆490Updated 9 years ago
- Kythe is a pluggable, (mostly) language-agnostic ecosystem for building tools that work with code.☆2,028Updated 3 weeks ago
- A faster file programming language detector☆462Updated 3 years ago
- Assisted code review, running custom code analyzers on pull requests☆150Updated 4 years ago
- A simple tool that finds serious bugs in Java exception handler☆124Updated 8 years ago
- Accompanying Repository for The Verification of a Distributed System Talk☆189Updated 8 years ago
- ☆353Updated 4 years ago
- SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstr…☆661Updated last month
- Platypus Platform: Tools for Scalable Deployment☆198Updated 5 years ago
- Tool for launching a Linux process from a snapshot☆449Updated 9 years ago
- Babelfish documentation (GitBook)☆42Updated 5 years ago
- A License Classifier☆334Updated 5 months ago
- Make Opensource Easy - tools for synchronizing repositories☆423Updated 3 years ago
- Metrics Query Engine☆171Updated 4 months ago
- LUCI (go) (GitHub mirror)☆151Updated this week
- Track code coverage metrics with Jenkins and Phabricator☆186Updated 5 years ago
- Reliable project licenses detector.☆237Updated 2 years ago
- A self-hosted server for source code parsing☆364Updated last year
- GramTest: A tool for Grammar based Test case generation☆86Updated last year
- jgit-spark-connector is a library for running scalable data retrieval pipelines that process any number of Git repositories for source co…☆71Updated 6 years ago
- Generate bazel dependencies for maven artifacts☆83Updated 5 years ago
- ☆195Updated 3 years ago
- A fast SAT solver☆152Updated 3 years ago
- gophersat, a SAT solver in Go☆380Updated last month
- Efficient Mutation Testing for Java☆38Updated 3 years ago
- Projects related to end-to-end tracing and causal metadata propagation, such as X-Trace, Retro, and Pivot Tracing☆87Updated 2 years ago