google / shipshape

Related projects: ⓘ

• zimmski / tavor
  A generic fuzzing and delta-debugging framework
  ☆245Updated 5 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…
  ☆940Updated 8 years ago
• google / todo-tracks
  Web dashboard for tracking the TODOs in a Git repo
  ☆177Updated 7 months ago
• src-d / enry
  A faster file programming language detector
  ☆460Updated 2 years ago
• kythe / kythe
  Kythe is a pluggable, (mostly) language-agnostic ecosystem for building tools that work with code.
  ☆1,940Updated 2 weeks ago
• src-d / lookout
  Assisted code review, running custom code analyzers on pull requests
  ☆149Updated 3 years ago
• google / trace-viewer
  ☆487Updated 9 years ago
• google / snappy-start
  Tool for launching a Linux process from a snapshot
  ☆447Updated 8 years ago
• google / blueprint
  ☆351Updated 3 years ago
• go-air / gini
  A fast SAT solver
  ☆148Updated 3 years ago
• bblfsh / bblfshd
  A self-hosted server for source code parsing
  ☆355Updated 10 months ago
• facebook / SPARTA
  SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstr…
  ☆616Updated last week
• google / cronutils
  utilities to assist running periodic batch processing jobs
  ☆116Updated 5 months ago
• google / navc
  C code indexer using language semantic from clang
  ☆63Updated 5 years ago
• microsoft / SLAyer
  SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.
  ☆326Updated 8 years ago
• crillab / gophersat
  gophersat, a SAT solver in Go
  ☆369Updated 2 months ago
• google / licenseclassifier
  A License Classifier
  ☆309Updated 5 months ago
• src-d / engine-deprecated
  [DISCONTINUED] Go to https://github.com/src-d/sourced-ce/
  ☆217Updated 4 years ago
• deferpanic / gorump
  go on Rumprun
  ☆314Updated 5 years ago
• google / skylark
  Skylark in Go: the Skylark configuration language, implemented in Go [MOVED to go.starlark.net]
  ☆1,188Updated 5 years ago
• rsc / grind
  Grind polishes Go programs.
  ☆461Updated 4 years ago
• bblfsh / documentation
  Babelfish documentation (GitBook)
  ☆41Updated 4 years ago
• rsc / corpus
  Corpus of interesting Go code
  ☆194Updated 7 years ago
• mitchellh / go-sat
  SAT solver written in Go (golang).
  ☆135Updated 7 years ago
• google / git-appraise-web
  Web UI for git-appraise
  ☆216Updated last year
• src-d / go-license-detector
  Reliable project licenses detector.
  ☆235Updated last year
• google / go-flow-levee
  ☆191Updated 2 years ago
• fzipp / pythia
  Browser based user interface for the Go source code guru
  ☆336Updated last month
• sirnewton01 / godbg
  Web-based gdb front-end application
  ☆229Updated 6 years ago
• google / zoekt
  Fast trigram based code search
  ☆1,695Updated 8 months ago