google / shipshape
Program analysis platform
☆271Updated 5 years ago
Alternatives and similar repositories for shipshape:
Users that are interested in shipshape are comparing it to the libraries listed below
- A generic fuzzing and delta-debugging framework☆245Updated 6 years ago
- ☆488Updated 9 years ago
- Kythe is a pluggable, (mostly) language-agnostic ecosystem for building tools that work with code.☆1,969Updated 2 weeks ago
- C code indexer using language semantic from clang☆62Updated 5 years ago
- Track code coverage metrics with Jenkins and Phabricator☆186Updated 4 years ago
- go on Rumprun☆312Updated 5 years ago
- ☆351Updated 3 years ago
- ☆396Updated 7 years ago
- Grind polishes Go programs.☆460Updated 5 years ago
- Browser based user interface for the Go source code guru☆337Updated this week
- Web dashboard for tracking the TODOs in a Git repo☆183Updated last year
- Mirror pull requests into git-appraise☆93Updated 9 months ago
- Static analyser for finding Deadlocks in Go☆318Updated last year
- Skylark in Go: the Skylark configuration language, implemented in Go [MOVED to go.starlark.net]☆1,185Updated 5 years ago
- Platypus Platform: Tools for Scalable Deployment☆197Updated 5 years ago
- A library operating system for Go☆188Updated 8 years ago
- LUCI (go) (GitHub mirror)☆151Updated this week
- gophersat, a SAT solver in Go☆372Updated 7 months ago
- SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstr…☆642Updated last month
- A Go implementation of Git functions☆345Updated 7 years ago
- Slides from 2015 Talks☆309Updated 9 years ago
- Reliable project licenses detector.☆236Updated last year
- Generate bazel dependencies for maven artifacts☆82Updated 4 years ago
- Linux kernel with Capsicum support☆206Updated 4 years ago
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆326Updated 8 years ago
- Aspect Oriented Programming for Go☆225Updated 5 years ago
- Phosphor: Dynamic Taint Tracking for the JVM☆170Updated last month
- The `docker run unikernel` demo DockerCon EU (Nov 2015)☆142Updated 9 years ago
- SAT solver written in Go (golang).☆137Updated 7 years ago
- ☆18Updated last year