A Python type checker
Repository Index
47,133 repositories indexed
97–120 of 131 · Most stars
The Exakat Engine : smart static analysis for PHP
- php
- php7
- gremlin
- neo4j
A high-performance static analysis toolkit for Ruby
- ruby
- static-analysis
- type-checking
Astral-PE is a low-level mutator (Headers/EP obfuscator) for native Windows PE files (x32/x64)
- cybersecurity
- hacktoberfest
- low-level
- mutator
An Elixir tool for checking safety of database migrations.
- elixir
- static-analysis
- code-analysis
- credo
An opinionated, curated list of tools for enforcing software development standards: one recommended tool per job, with limits.
Swiss-army knife for D source code
- dlang
- linter
- lint
- ctags
Auditable code review skill for Claude Code and Codex: four independent probes, evidence-backed findings, and a JSON-derived merge gate.
- agent-skills
- ai-code-review
- claude-code
- code-review
Phantom types for Python.
- phantom-types
- static-analysis
- mypy
- python
OPEM (Open Source PEM Fuel Cell Simulation Tool)
- chemistry
- pem
- fuel-cell
- opem
C code refactoring browser
- c
- refactoring
- static-analysis
- call-graph
H(igh) A(ssurance) ROS - Static analysis of ROS1 application code.
- static-analysis
- ros
- quality-assurance
- robotics
Know the risk of merging a pull request, and where it lives. Free, open-source CLI and GitHub Action: after your AI review, farol shows the riskiest files, what they reach, diff coverage and contract breaks. TypeScript/React, Go, Python.
- ai-code-review
- cli
- code-review
- developer-tools
The Golang linter that checks usage of github.com/stretchr/testify.
- go
- golang
- linter
- static-analysis
Linter for dangerous Postgres migration patterns in Diesel and SQLx. Prevents downtime caused by unsafe schema changes.
- rust
- postgresql
- linter
- zero-downtime
A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.
- code-formatter
- code-generation
- mypy
- pyannotate
Vim plugin for executing Python's optional static type checker MyPy (http://mypy-lang.org/)
- vim-plugins
- vim-mypy
- vim
- mypy
The standards-based Web Components multitool. Generate Custom Elements Manifests, Dev Server, LSP, and MCP for your app or design system
- custom-elements
- custom-elements-manifest
- go
- golang
Error Prone extensions: extra bug checkers and a large battery of Refaster rules.
- java
- static-analysis
- abstract-syntax-tree
- ast
gpath is a Go package to access a field by a path using reflect pacakge
- golang
- reflect
- static-analysis
Generate OpenAPI 3.1 specs from Go source code via static analysis — zero annotations, automatic framework detection
Architecture linter for Swift — enforce Clean Architecture import rules via SwiftSyntax. A CI-ready guardrail for AI-assisted development.
- swift
- swiftsyntax
- clean-architecture
- linter
Make Java source layout deterministic: reorder class members safely, keep accessors together, format java-source, and enforce style in CI.
- java
- java-code-audit
- java-code-formatter
- java-code-quality
Cross-file drift checker. Keeps code, configs, and docs in sync deterministically. Supports 35+ languages.