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 7 years ago
- srclib is a polyglot code analysis library, built for hackability. It consists of language analysis toolchains (currently for Go and Java…☆936Updated 9 years ago
- Web dashboard for tracking the TODOs in a Git repo☆186Updated last year
- ☆491Updated 10 years ago
- C code indexer using language semantic from clang☆60Updated 6 years ago
- A faster file programming language detector☆460Updated 4 years ago
- Assisted code review, running custom code analyzers on pull requests☆152Updated 4 years ago
- Kythe is a pluggable, (mostly) language-agnostic ecosystem for building tools that work with code.☆2,076Updated 2 weeks ago
- ☆352Updated 4 years ago
- Platypus Platform: Tools for Scalable Deployment☆197Updated 5 years ago
- A simple tool that finds serious bugs in Java exception handler☆124Updated 9 years ago
- ☆197Updated 3 years ago
- Babelfish documentation (GitBook)☆43Updated 6 years ago
- Generate bazel dependencies for maven artifacts☆82Updated 5 years ago
- Reliable project licenses detector.☆237Updated 2 years ago
- A License Classifier☆343Updated 2 months ago
- Track code coverage metrics with Jenkins and Phabricator☆186Updated 5 years ago
- Accompanying Repository for The Verification of a Distributed System Talk☆190Updated 9 years ago
- SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstr…☆662Updated 2 weeks ago
- LUCI (go) (GitHub mirror)☆152Updated this week
- Build tool for my projects☆217Updated 9 years ago
- A self-hosted server for source code parsing☆366Updated 2 years ago
- Experimental visual Go environment☆464Updated 4 years ago
- Unified code review dashboard.☆43Updated last year
- Short term certificate based identity system (ssh/x509 ca + openidc)☆122Updated 5 years ago
- Metrics Query Engine☆172Updated 9 months ago
- Slimmed down version of Vanadium that is focused on its RPC and security system.☆91Updated last year
- gophersat, a SAT solver in Go☆385Updated 5 months ago
- A reversible DER and BER pretty-printer.☆247Updated 2 months ago
- Browser based user interface for the Go source code guru☆340Updated 10 months ago