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
  ☆247Updated 7 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…
  ☆937Updated 9 years ago
• google / todo-tracks
  Web dashboard for tracking the TODOs in a Git repo
  ☆185Updated last year
• google / navc
  C code indexer using language semantic from clang
  ☆60Updated 6 years ago
• google / trace-viewer
  ☆491Updated 10 years ago
• src-d / lookout
  Assisted code review, running custom code analyzers on pull requests
  ☆152Updated 4 years ago
• square / p2
  Platypus Platform: Tools for Scalable Deployment
  ☆197Updated 5 years ago
• src-d / go-license-detector
  Reliable project licenses detector.
  ☆237Updated 2 years ago
• kythe / kythe
  Kythe is a pluggable, (mostly) language-agnostic ecosystem for building tools that work with code.
  ☆2,063Updated last week
• diy1 / aspirator
  A simple tool that finds serious bugs in Java exception handler
  ☆124Updated 9 years ago
• google / licenseclassifier
  A License Classifier
  ☆339Updated last month
• go-air / gini
  A fast SAT solver
  ☆153Updated 4 years ago
• brownsys / tracing-framework
  Projects related to end-to-end tracing and causal metadata propagation, such as X-Trace, Retro, and Pivot Tracing
  ☆89Updated 3 years ago
• src-d / enry
  A faster file programming language detector
  ☆461Updated 4 years ago
• google / blueprint
  ☆352Updated 4 years ago
• google / go-flow-levee
  ☆194Updated 3 years ago
• uber / uberalls
  Track code coverage metrics with Jenkins and Phabricator
  ☆186Updated 5 years ago
• square / metrics
  Metrics Query Engine
  ☆172Updated 8 months ago
• crillab / gophersat
  gophersat, a SAT solver in Go
  ☆384Updated 4 months ago
• bblfsh / documentation
  Babelfish documentation (GitBook)
  ☆43Updated 6 years ago
• luci / luci-go
  LUCI (go) (GitHub mirror)
  ☆151Updated this week
• facebook / SPARTA
  SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstr…
  ☆663Updated 2 weeks ago
• CaitieM20 / TheVerificationOfDistributedSystem
  Accompanying Repository for The Verification of a Distributed System Talk
  ☆190Updated 9 years ago
• bblfsh / bblfshd
  A self-hosted server for source code parsing
  ☆366Updated 2 years ago
• vanadium / core
  Slimmed down version of Vanadium that is focused on its RPC and security system.
  ☆91Updated last year
• fuzzitdev / fuzzit
  CLI to integrate continuous fuzzing with Fuzzit (no longer available)
  ☆222Updated 5 years ago
• mitchellh / go-z3
  Go (golang) bindings to the Z3 SMT Solver
  ☆145Updated 3 years ago
• google / capsicum-linux
  Linux kernel with Capsicum support
  ☆210Updated 5 years ago
• adg / github-gmail
  Chrome extension to show GitHub issue status in Gmail
  ☆69Updated 9 years ago
• chrisvana / repobuild
  Build tool for my projects
  ☆217Updated 9 years ago