Alternatives and similar repositories for shipshape

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

• zimmski / tavor
  A generic fuzzing and delta-debugging framework
  ☆246Updated 6 years ago
• sourcegraph / srclib
  srclib is a polyglot code analysis library, built for hackability. It consists of language analysis toolchains (currently for Go and Java…
  ☆941Updated 8 years ago
• google / navc
  C code indexer using language semantic from clang
  ☆61Updated 6 years ago
• google / todo-tracks
  Web dashboard for tracking the TODOs in a Git repo
  ☆184Updated last year
• kythe / kythe
  Kythe is a pluggable, (mostly) language-agnostic ecosystem for building tools that work with code.
  ☆2,005Updated last week
• osrg / namazu
  鯰: Programmable fuzzy scheduler for testing distributed systems
  ☆495Updated 6 years ago
• src-d / enry
  A faster file programming language detector
  ☆459Updated 3 years ago
• google / git-pull-request-mirror
  Mirror pull requests into git-appraise
  ☆93Updated 2 months ago
• google / trace-viewer
  ☆490Updated 9 years ago
• src-d / lookout
  Assisted code review, running custom code analyzers on pull requests
  ☆150Updated 3 years ago
• google / go-flow-levee
  ☆195Updated 2 years ago
• ChimeraCoder / gitgo
  A Go implementation of Git functions
  ☆347Updated 7 years ago
• google / blueprint
  ☆352Updated 4 years ago
• bblfsh / documentation
  Babelfish documentation (GitBook)
  ☆42Updated 5 years ago
• dominikh / go-staticcheck
  ☆396Updated 7 years ago
• uber / uberalls
  Track code coverage metrics with Jenkins and Phabricator
  ☆186Updated 5 years ago
• pgr0ss / bazel-deps
  Generate bazel dependencies for maven artifacts
  ☆82Updated 4 years ago
• david-schuler / javalanche
  Efficient Mutation Testing for Java
  ☆38Updated 2 years ago
• regehr / itc-benchmarks
  static analysis benchmarks from Toyota ITC
  ☆113Updated 2 years ago
• google / capsicum-linux
  Linux kernel with Capsicum support
  ☆206Updated 5 years ago
• stripe-archive / safesql
  Static analysis tool for Golang that protects against SQL injections
  ☆562Updated 3 years ago
• src-d / go-license-detector
  Reliable project licenses detector.
  ☆236Updated last year
• ksen007 / janala2
  a concolic testing engine for Java
  ☆106Updated 7 years ago
• crillab / gophersat
  gophersat, a SAT solver in Go
  ☆377Updated 11 months ago
• nickng / dingo-hunter
  Static analyser for finding Deadlocks in Go
  ☆319Updated last year
• microsoft / SLAyer
  SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.
  ☆326Updated 8 years ago
• fzipp / pythia
  Browser based user interface for the Go source code guru
  ☆338Updated 2 months ago
• mitchellh / go-sat
  SAT solver written in Go (golang).
  ☆139Updated 8 years ago
• cuplv / hopper
  Goal-directed static analysis tool for JVM languages.
  ☆58Updated 9 years ago
• google / licenseclassifier
  A License Classifier
  ☆328Updated 3 months ago