1.semgrep / semgrep
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
- static-analysis
- static-code-analysis
- java
- go
- sast
- semgrep
- +6 more
Ranked by Attention Score: stars gained over the last 30 complete days
8 repositories by Attention Score · Oct 5, 2026 – Nov 3, 2026 (UTC)
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Nix, the purely functional package manager
Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly configurable. It can be invoked with an ANT task and a command line program.
SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.
Code Intelligence for Vala & Genie
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
libMesh github repository
Command line cross platform builder and runner for Love2D projects