Turn any codebase into a knowledge graph grounded in formal methods. Your AI agents get exact answers for any code-related task, ensure correctness, and optimize time and token usage.
Repository Index
47,133 repositories indexed
49–61 of 61 · Most stars
Chronos - A static race detector for the go language
- analysis
- golang
- synchronization
- detection
Code and data used to create the examples in "Evidence-based Software Engineering based on the publicly available data"
- cognitive-capitalism
- cognitive-science
- economic-models
- ecosystem-modeling
A static analysis tool for security
- php
- static-code-analysis
- security-tools
- vulnerability-scanners
One task to efficiently run all code analysis & testing tools in an Elixir project. Born out of 💜 to Elixir and pragmatism.
- elixir
- pragmatic
- code-analysis
- command-line-tool
An Elixir tool for checking safety of database migrations.
- elixir
- static-analysis
- code-analysis
- credo
NsDepCop is a static code analysis tool that enforces namespace and assembly dependency rules in C# projects.
- dependency-analysis
- csharp
- static-code-analysis
- msbuild
Analyzes Elm projects, to help find mistakes before your users find them.
- elm-review
- elm
- elm-lang
- static-code-analysis
Generate a privacy policy for your iOS app quickly and automatically
- privacy-policy
- ios-swift
- software-engineering
- software-development
The official VS Code extension for the RuboCop linter and code formatter.
- code-formatter
- linter
- rubocop
- ruby
List of packages that use `standard`
- standard
- javascript
- ecosystem
- nodejs
Code evolution analysis for Git repositories
- git
- python
- tree-sitter
- software-evolution
Turn any Java, Kotlin or Python project into an AI-ready context file in one command.