Succinct Compositional Program Graph (SCPG) static analysis engine & 14-diagram UML generator in Rust.
An extremely fast Python linter and code formatter, written in Rust.
Self-hosted Cloudflare Workers-compatible platform with Workers、KV、D1、R2、DO、Queues、Workflows、Cron、Cache、Images、Vectorize、AI Search、Artifacts、Static Assets、Service Bindings、Dynamic Workers、LogTail、Gateway in one Rust binary.
AI-driven malware analysis framework with 30+ integrated tools, web REPL, and MCP server
A fast static site generator in a single binary with everything built-in. https://www.getzola.org
A file server that supports static serving, uploading, searching, accessing control, webdav...
Copy/paste detector for source code. 220+ languages, Rust engine, SARIF/HTML/badge reporters, GitHub Action, MCP server for AI agents.
Code Buster reports dependency wiring, dead code, cycles, duplication, complexity, architecture-policy violations, feature flags, security and style heuristics, quality scores, and remediation plans.
A toolchain for web projects, aimed to provide functionalities to maintain them. Biome offers formatter and linter, usable via CLI and LSP.
⚡A CLI tool for code structural search, lint and rewriting. Written in Rust
Static analysis for GitHub Actions (and more)
Codebase intelligence for TypeScript and JavaScript. Health, complexity hotspots, duplication, architecture boundaries, circular dependencies, design-system drift, and unused code, from one graph. CLI, GitHub Action, LSP, MCP, and VS Code. Rust, MIT licensed.
SiteOne Crawler is a cross-platform website crawler and analyzer for SEO, security, accessibility, and performance optimization—ideal for developers, DevOps, QA engineers, and consultants. Supports Windows, macOS, and Linux (x64 and arm64).
Deep memory for agents over large datasets. Leviathan is a single static binary that turns your records (JSONL, JSON, CSV/TSV, SQLite, or anything a database CLI can export) into a ranked full-text index.
Static devirtualizer for Tencent VM
Adds static typing to JavaScript to improve developer productivity and code quality.
⭐️ A friendly language for building type-safe, scalable systems!
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
A modern static site generator by the Material for MkDocs team
Android DEX → Java decompiler in Rust, built for speed — full apps in seconds, queries in milliseconds. Progressive analysis, javac-verified output, every DEX version, multi-dex & XAPK/APKS/APKM containers.
Static recompiler for Nintendo 3DS games, from ARM to C
🌟 For when you really just want to serve some files over HTTP right now!
Tunnel all your traffic over Websocket or HTTP2 - Bypass firewalls/DPI - Static binary available
Static low-bandwidth search at scale
Analyze ELF binaries like a boss 😼🕵️♂️
Mago is a toolchain for PHP that aims to provide a set of tools to help developers write better code.
A Python tool to visualize + enforce dependencies, using modular architecture 🌎 Open source 🐍 Installable via pip 🔧 Able to be adopted incrementally - ⚡ Implemented with no runtime impact ♾️ Interoperable with your existing systems 🦀 Written in rust
A statically typed programming language for scientific computations with first class support for physical dimensions and units
A cross-platform, high-performance and asynchronous web server for static files-serving. ⚡
Compile time static maps for Rust
Heapless, `static` friendly data structures
A static verifier for Rust, based on the Viper verification infrastructure.
Static site generator written in Rust
cwe_checker finds vulnerable patterns in binary executables
Detect secrets + live validation. Map blast radius. Revoke fast. Use the CLI or embed in Rust and Python.
Python Type Checker / Language Server
Markdown makes sites - A Static Site Generator for Blogs
A fast, modern, distro-independent package manager that just works [maintainer=@QaidVoid]
A fast parser, formatter, static analyzer, and language server for SQLite SQL.
Solidity Static Analyzer that easily integrates into your editor
Local code intelligence MCP server and CLI for AI coding agents
A PHP-to-native compiler. Takes a subset of PHP - including eval() - and compiles it directly to native assembly, producing standalone binaries for macOS ARM64, Linux ARM64, and Linux x86_64. No VM, no external runtime, no dependencies: dynamic eval falls back to an optional statically linked interpreter.
Detect concurrency and memory bugs and possible panic locations in Rust projects
Terminal text effects as a single static binary — a parity-exact Rust port of terminaltexteffects
Stop running unverified bash scripts to install software! curl <url> | bashKA for static verification of bash script safty and managing installed software
A Markdown convention and linter for project docs written by AI and read by humans and agents
⚡ High-performance Rust web server and reverse proxy built on Cloudflare Pingora. 🧾 Caddyfile-compatible config · 🔐 automatic HTTPS · 🚀 HTTP/1.1, HTTP/2, HTTP/3 · ⚖️ load balancing · 📁 static files.
Static Crackproof-protected binaries unpacker
237 parsers that turn command output, file formats and strings into JSON, from one static Rust binary with no runtime to install. Verified against the full reference fixture corpus on every commit.
A modern WireGuard manager packaged into a single static Rust binary, using 1MB of RAM.
graf is graphify, rebuilt properly in rust: 1000x faster search, 89x faster updates, and one native binary.
AI-powered desktop app for migrating Python projects to Rust. Supports multiple LLM providers (OpenAI, Anthropic, Ollama), includes 300+ library mappings, automatic dependency detection, compile verification, and iterative code refinement. Built with Tauri 2.0.
Review code changes by what they do, and learn the concepts behind them.
Fast JVM heap dump analyser: retained sizes, owners and leak suspects from .hprof files. One static binary, no JDK needed.
Tiny Rust port of Pi — a ~4 MB statically-linked coding agent CLI for old/low-resource Linux boxes. OpenAI + Anthropic providers, streaming tool calls (read/write/edit/bash), JSONL sessions, ratatui TUI, Agent Skills, Claude Code-style hooks, -p print mode.
A tool that replaces everything that can be deterministic in repository work: search, symbols, callers, task scope, history, review and Git from one local CLI, so your AI coding agent spends its tokens on the hard part.
🥷 Give your codebase a black belt. Local code intelligence, security analysis, and compiler-backed facts for humans and AI.
Kotlin formatter and linter in Rust, drop-in ktfmt and ktlint (2.0 and 1.8) replacements with identical output, 13-190x faster, no JVM.
(Codeberg mirror) The statically-typed, compiled embedded scripting language for Rust, used by Rotonda.