Repository Index

ShellCheck, a static analysis tool for shell scripts

• haskell
• shell
• static-analysis
• bash

Manage translation and localization with static analysis, for Ruby i18n

• static-analysis
• static-code-analysis
• ruby
• i18n

A Rake task gem that helps you find the unused routes and controller actions for your Rails 3+ app

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.

• ai-agents
• ai-skills
• antigravity
• ast

Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.

• ocaml
• wasm
• webassembly
• interpreter