Sign in

Repository Index

47,133 repositories indexed

Filters (1)

Filters

Clear all filters

1–16 of 16 · Most stars

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

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

  • static
  • site-generator
  • rust
  • tera

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

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.

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

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

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