Lintian

A static checker for Debian packages covering formatting, licensing and dependencies.

ToolDev toolsdebianpackaginglinting

Recommended in 1 thread

I will no longer upload to NEW
lists.debian.org · 2 days ago
Cited as the deterministic, reproducible alternative whose output can be returned as-is.

deb.sury.org ↗Operating systems
A third-party repository providing PHP packages for Debian and Ubuntu.
2 threads
Gitea Dev tools
A lightweight self-hosted Git service.
0 threads
Debian Operating systems
A community Linux distribution with its own packaged PHP and security updates.
4 threads
Fish Dev tools
A user-friendly interactive Unix shell.
1 thread
Cygwin Dev tools
A Unix-like environment and toolset for Windows.
0 threads
GitLab ↗Dev tools
A Git hosting and DevOps platform with an open-source community edition.
0 threads
Flux ↗Dev tools
A refinement type checker for Rust.
1 thread
Termius Dev tools
An SSH client app for mobile and desktop.
1 thread

Pi ↗
An extensible terminal coding agent that can switch between models.
4 threads
F-Droid
An app store distributing free and open-source Android apps.
3 threads
Claude Code
Anthropic's terminal-based coding agent harness.
2 threads
Collie ↗
A mobile interface to desktop agent sessions via tmux, zellij or herdr.
2 threads
Forgejo
A self-hostable community-driven software forge.
2 threads
OpenCode
An open-source terminal coding agent harness.
2 threads
OrbStack
A macOS app for running Docker containers and Linux VMs.
2 threads
Playwright
A browser automation framework for end-to-end testing.
2 threads
lossy-git ↗
A toy version control system that stores code by training a neural network and reconstructs it on checkout.
2 threads
uv
Fast Python package and project manager.
2 threads
Aeneas ↗
A toolchain that translates safe Rust programs into proof assistants like Lean for verification.
1 thread
Alloy ↗
A lightweight formal modeling language and analyzer for software designs.
1 thread