Repository Index

An extremely fast Python linter and code formatter, written in Rust.

• linter
• pep8
• python
• python3

A toolchain for web projects, aimed to provide functionalities to maintain them. Biome offers formatter and linter, usable via CLI and LSP.

• css
• formatter
• javascript
• jsx

Adds static typing to JavaScript to improve developer productivity and code quality.

⭐️ A friendly language for building type-safe, scalable systems!

• gleam
• programming-language
• compiler
• erlang

A fast static site generator in a single binary with everything built-in. https://www.getzola.org

• static
• site-generator
• rust
• tera

⚡A CLI tool for code structural search, lint and rewriting. Written in Rust

• codemod
• linter
• ast
• babel

⚙️ 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.

• static-analysis
• static-analyzers
• linter
• code-quality

A file server that supports static serving, uploading, searching, accessing control, webdav...

• cloud-disk
• command-line
• file-upload-server
• static-server

🌟 For when you really just want to serve some files over HTTP right now!

• serve
• http-server
• server
• static-files

Copy/paste detector for source code. 220+ languages, Rust engine, SARIF/HTML/badge reporters, GitHub Action, MCP server for AI agents.

• copy-paste
• duplicates
• cpd
• code-quality

Succinct Compositional Program Graph (SCPG) static analysis engine & 14-diagram UML generator in Rust.

• code-property-graph
• compiler-theory
• program-analysis
• robdd

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.

• cli
• code-quality
• dead-code
• developer-tools

Mago is a toolchain for PHP that aims to provide a set of tools to help developers write better code.

• code-analyzer
• code-style
• coding-standards
• formatter

🔍 Tiny, full-text search engine for static websites built with Rust and Wasm

• bloom-filter
• static-site
• search-engine
• wasm

A fast, feature-rich static code analyzer & language server for Python

• language-server
• python
• static-analysis
• type-checker

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.

• cloudflare-workers
• d1
• durable-objects
• edge-computing

A cross-platform, high-performance and asynchronous web server for static files-serving. ⚡

• rust-lang
• http-server
• docker-image
• static-web-server

cwe_checker finds vulnerable patterns in binary executables

• cwe
• binary-analysis
• static-analyzer
• vulnerability-scanner

Python Type Checker / Language Server

• autocompletion
• language-server-protocol
• mypy
• python

A high-performance static analysis toolkit for Ruby

• ruby
• static-analysis
• type-checking

🩵 Self-hosted & Fully-automated ActivityPub Bridge for Static Sites.

• activitypub
• federation
• fediverse
• rust

Web application to render a diff between Rust crate versions. Implemented in Yew, runs fully in the browser as WebAssembly.

• diff
• rust
• site
• static

Linter for dangerous Postgres migration patterns in Diesel and SQLx. Prevents downtime caused by unsafe schema changes.

• rust
• postgresql
• linter
• zero-downtime

Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436