Succinct Compositional Program Graph (SCPG) static analysis engine & 14-diagram UML generator in Rust.
- code-property-graph
- compiler-theory
- program-analysis
- robdd
47,133 repositories indexed
1–24 of 46 · Most stars
Succinct Compositional Program Graph (SCPG) static analysis engine & 14-diagram UML generator in Rust.
Opinionated Oxlint rules for rejecting low-evidence TypeScript and JavaScript patterns
open-source canvas for thoughtful software design
Find code by asking what it does. A CLI for coding agents that uses Jev to discover relevant files and source context.
Review code 100X faster. Lens draws every PR as animated architecture and data-flow walkthroughs, inside the pull request itself. Use it as a GitHub App, GitHub Action, CLI, or a Skill for your coding agent
Incremental rust builds up to 92x faster than cargo/rustc
TranslatedDesktop Android leak audit: permissions, endpoints, data flows, reversible fixes. Phone privacy audit: uses adb to scan an Android app's permissions, reporting endpoints, and data flows, and provides reversible remediation.
An experimental Rust port of the TypeScript 7 compiler (tsc)
There is no official XScreenSaver GitHub repository.
Open source AI code review for coding agents. A separate reviewer checks every change your agent writes before you push, in Claude Code, Codex, Cursor and Cline. No account or key of its own.
Git designed for AI agents.
Complex code hides connections, workflows, and business risks.Unvibe complex code. Trace business workflows.
Simple, fast, versioned large-file storage for git 🚀 https://getgat.dev
Universal toolkits for linting, viewing and managing i18n for any frameworks.
Static XSS audit skill with 14 layers of checks for React, TypeScript, and JavaScript projects.
Code graph and memory for your coding agents, in one Rust program. For Claude Code, Codex, Cursor and any MCP client.
You can outsource your thinking, but not your understanding. A hook for agent-assisted development that quizzes you on the changes before you push to prod.
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.
Reusable GitHub Actions source builds for jhaizhou-ops/d2r-mobile. Bring your own prepared game archive.
A git hook that won't let you push code you can't explain. Quizzes you on your own diff. Works with Claude Code, Codex, Cursor.
Walk through a diff the way a senior engineer reads it. A read-only TUI that turns a git change into a guided tour.
TranslatedA code audit platform built as a secondary development of artex | Adds local decompilation of Java dependency libraries | Multi-account management
TranslatedGuide to buying and renewing ChatGPT Pro100 (10x, formerly 5x) / Pro200 (20x) in China: Pro100's usage within the Work/Codex plan is doubled with the price unchanged; your own account, Alipay, self-service or manual processing, and a 30-day subscription guarantee. Includes Chinese, English, and Russian.
A VS Code extension that re-creates Rebased, the standalone git client built on the IntelliJ platform.