41,932 packages · page 325 of 420
| Package ▼ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Tool to wipe drives in a secure way |
0.8.2 |
1 | 5 | 0 | 0 | single | ||
Preprocessor for less |
2.20 → 2.28 |
1 | 15 | 0 | 0 | single outdated | ||
Stateless password manager |
9.1.9 |
1 | 18 | 0 | 0 | single | ||
Python LESS Compiler |
0.15.1 → 0.15.2 |
1 | 19 | 2 | 2 | single outdated | ||
Dynamic stylesheet language |
4.9.1 |
1 | 5 | 1 | 1 | single | ||
Programming language agnostic view layer for creating desktop widgets and status bars |
1.1.0 |
1 | 7 | 0 | 0 | single | ||
Fast, modern build system for managing and publishing multiple JavaScript/TypeScript packages from the same repository |
6.6.2 |
1 | 7 | 0 | 0 | single | ||
Fast, modern build system for managing and publishing multiple JavaScript/TypeScript packages from the same repository |
8.1.9 → 10.1.1 |
1 | 7 | 0 | 0 | single outdated | ||
C++ library for Limited Error Raster Compression |
4.2.0 |
1 | 3 | 110 | 17,121 | single | ||
Formatter for the leptos view! macro |
0.1.33 |
1 | 6 | 0 | 0 | single | ||
Image processing and analysis library |
1.87.0 |
1 | 11 | 22 | 73 | single | ||
Port of DropBox Lepton compression to Rust |
0.5.8 |
1 | 6 | 0 | 0 | single | ||
Lepton Electronic Design Automation |
1.9.18-20220529 |
1 | 16 | 0 | 0 | single | ||
CAD program for creating virtual LEGO models |
25.09 → 26.09 |
1 | 8 | 0 | 0 | single outdated | ||
Automated theorem prover for classical higher-order logic with choice |
1.7.18 |
1 | 3 | 0 | 0 | single | ||
High-performance typed higher order prover |
1.7.0 |
1 | 6 | 0 | 0 | single | ||
Functional, statically-typed programming language built for writing private applications |
3.4.0 |
1 | 8 | 0 | 0 | single | ||
Lightweight security threat scanner intended to make malware detection more accessible and efficient |
1.0.6 |
1 | 22 | 0 | 0 | single | ||
Program for learning music |
6.0.1-unstable-2025-09-15 |
1 | 17 | 0 | 0 | single | ||
Lightweight xcb based bar with XFT-support |
2.0-unstable-2020-09-09 |
1 | 5 | 0 | 0 | single | ||
Efficient library for combinatorial optimization tasks on graphs and networks |
1.3.1 → 1.3.1.1 |
1 | 4 | 3 | 4 | single outdated | ||
XML Language Server |
0.31.2 |
1 | 5 | 0 | 0 | single | ||
High Performance I/O and sensor/actuator control for robotics and IoT applications |
2.3.5 |
1 | 3 | 0 | 0 | single | ||
Tool to detect and remediate misconfigurations and security risks of GitHub assets |
1.0.11 |
1 | 3 | 0 | 0 | single | ||
Web frontend for git |
0.2.4 |
1 | 3 | 0 | 0 | single | ||
Git for Humans, Inspired by GitHub for Mac |
1.2.0.post0 |
1 | 21 | 0 | 0 | single | ||
Recreates Dwarf Fortress' Legends Mode from exported files |
1.3.0 |
1 | 21 | 0 | 0 | single | ||
Multi-platform, open source, legends viewer for dwarf fortress 0.47 written in go |
2.0.10 |
1 | 3 | 0 | 0 | single | ||
Free-to-play MMORPG |
2025.06.002 |
1 | 36 | 0 | 0 | single unfree | ||
Free and open-source Epic Games Launcher alternative |
0.21.1 |
1 | 18 | 2 | 3 | single | ||
Multiprotocol credentials bruteforcer / password sprayer and enumerator |
0.11.0 → 1.3.0 |
1 | 9 | 0 | 0 | single outdated | ||
Theme manager for LeftWM |
0.1.3 |
1 | 7 | 0 | 0 | single | ||
Little satellite utility for LeftWM |
0-unstable-2024-03-13 → 0.1.0 |
1 | 5 | 0 | 0 | single outdated | ||
Fast and powerful Git hooks manager for any type of projects |
2.1.15 → 2.2.2 |
1 | 4 | 0 | 0 | single outdated | ||
Spaced repetition CLI for DSA and LeetCode |
1.2.0 |
1 | 5 | 0 | 0 | single | ||
Run CUDA kernels from your terminal |
1.2.0 |
1 | 3 | 0 | 0 | single unfree | ||
Command-line tool for LeetCode |
1.4.19 → 1.5.1 |
1 | 4 | 0 | 0 | single outdated | ||
Leetcode CLI utility |
0.5.5 |
1 | 11 | 0 | 0 | single | ||
Game to practice your Helix editor skills with code challenges |
0-unstable-2026-03-01 |
1 | 20 | 0 | 0 | single | ||
Go engine modeled after AlphaGo Zero |
0.17-unstable-2023-02-07 |
1 | 8 | 0 | 0 | single | ||
CLI frontend to the poppler-glib library of PDF tools |
12.fe7a35a |
1 | 4 | 0 | 0 | single | ||
Enclosure LED Utilities |
0.92 → 1.1.0 |
1 | 5 | 0 | 0 | single outdated | ||
Line editor, allowing to use shell commands with control characters like in emacs |
2.08 |
1 | 6 | 1 | 1 | single | ||
Ledger to Beancount text-based converter |
2.7 |
1 | 52 | 0 | 0 | single | ||
Web frontend to the Ledger CLI tool |
1.5.2 |
1 | 4 | 0 | 0 | single | ||
Network based LED effect controller with support for advanced real-time audio effects |
2.2.1 |
1 | 59 | 0 | 0 | single | ||
LED controller for the Fnatic miniStreak and Fnatic Streak keyboards |
0.1.0-unstable-2024-10-15 |
1 | 8 | 0 | 0 | single | ||
A text-mode disk usage visualization utility |
0.2.0 |
1 | 6 | 0 | 0 | single | ||
Collection of C++ and CMake utility libraries |
1.12.13 |
1 | 6 | 2 | 2 | single | ||
Pair programming tool and library written in Golang |
0.9.1 |
1 | 3 | 0 | 0 | single | ||
Lightweight lossless file minifier/optimizer |
0.4.3-unstable-2026-06-05 |
1 | 2 | 0 | 0 | single | ||
Lean 4 .olean file (de)compressor |
0.1.19 |
1 | 6 | 2 | 12 | single | ||
This plasTeX plugin allowing to write blueprints for Lean 4 projects |
0.0.20 |
1 | 24 | 0 | 0 | single | ||
Interactive UI framework for Lean 4 proof assistants |
0.0.111-unstable-2026-09-14 |
1 | 9 | 1 | 2 | single | ||
Property-based testing framework for Lean 4 |
4.34.0-unstable-2026-09-14 |
1 | 7 | 1 | 2 | single | ||
Mathematical library for Lean 4 |
4.34.1 |
1 | 14 | 1 | 1 | single | ||
Mathematical library for Lean 4 |
4.34.1 |
1 | 3 | 0 | 0 | single | ||
Automatic and interactive theorem prover |
4.34.1 |
1 | 5 | 9 | 10 | single | ||
Tools to analyse and visualise Lean 4 import structures |
4.34.0-unstable-2026-09-14 |
1 | 8 | 1 | 2 | single | ||
The batteries-included extended library for Lean 4 |
4.34.0-unstable-2026-09-14 |
1 | 7 | 2 | 3 | single | ||
White-box automation for Lean 4 |
4.34.0-unstable-2026-09-14 |
1 | 8 | 1 | 2 | single | ||
Lean 4 compile-time quote and antiquote macros for metaprogramming |
4.34.0-unstable-2026-09-14 |
1 | 7 | 1 | 2 | single | ||
Lean 4 client for LeanSearch and Moogle proof search |
4.34.0-unstable-2026-09-14 |
1 | 7 | 1 | 2 | single | ||
Command-line argument parser for Lean 4 |
4.34.0 |
1 | 7 | 1 | 3 | single | ||
Automatic and interactive theorem prover (version with HoTT support) |
2018-10-01 |
1 | 9 | 0 | 0 | single | ||
MCP server for the Lean theorem prover via the Lean LSP |
0.31.0 |
1 | 20 | 0 | 0 | single | ||
Automatic and interactive theorem prover |
3.51.0 → 4.35.0 |
1 | 4 | 0 | 0 | single outdated | ||
Fantastic new revival of ATF's classic Spartan, a geometric sans-serif that has no problem kicking its enemies in the chest |
2.220 |
1 | 2 | 1 | 1 | single | ||
Modern, coquettish script font |
2011-05-25 |
1 | 2 | 1 | 1 | single | ||
Font Collection by The League of Moveable Type |
1 | 20 | 0 | 0 | single | |||
monospace/variable font fun |
2.300 |
1 | 2 | 0 | 0 | single | ||
Revival of an old classic, Alternate Gothic #1 |
1.601 |
1 | 2 | 1 | 1 | single | ||
Terminal Markdown previewer with a GUI-like experience |
1.28.3 → 1.29.1 |
1 | 7 | 0 | 0 | single outdated | ||
Modern, lightweight and efficient 2D level editor |
1.5.3 |
1 | 6 | 0 | 0 | single | ||
Linker Proxy: a simple tool to forward linker arguments to the actual linker executable |
0.31.4 |
1 | 5 | 0 | 0 | single | ||
Gamedriver for LPMuds including a LPC compiler, interpreter and runtime |
3.6.8 |
1 | 16 | 0 | 0 | single unfree | ||
Gamedriver for LPMuds including a LPC compiler, interpreter and runtime |
3.6.8 |
1 | 10 | 0 | 0 | single unfree | ||
Tool and library for managing Microsoft Windows Dynamic Disks |
0.2.5-unstable-2025-02-06 |
1 | 14 | 0 | 0 | single | ||
Put real or fake signatures in a Mach-O binary |
2.1.5-procursus7 |
1 | 6 | 0 | 0 | single | ||
Link Identity Editor |
2.1.5 |
1 | 5 | 0 | 0 | single | ||
In-depth LDAP enumeration utility |
2.0.3 |
1 | 28 | 0 | 0 | single | ||
This is a TUI for hledger to show a nice dashboard |
1.3.1 → 1.6.0 |
1 | 5 | 0 | 0 | single outdated | ||
Tool to anonymously bruteforce usernames from Domain controllers |
1.5.1 |
1 | 3 | 0 | 0 | single | ||
Tool to monitor creation, deletion and changes to LDAP objects |
1.4 |
1 | 13 | 0 | 0 | single | ||
CLI tool to perform basic LDAP task for security assessments |
0.1.1 |
1 | 6 | 0 | 0 | single | ||
Active Directory information dumper via LDAP |
0.10.0-unstable-2025-04-06 |
1 | 18 | 0 | 0 | single | ||
Web frontend that allows users to administrate their LDAP users |
1.6.0 |
1 | 4 | 0 | 0 | single | ||
Sony LDAC Bluetooth decoder library (from AOSP via open-vela) |
2.0.72 |
1 | 4 | 16 | 3,325 | single | ||
Lightweight Communications and Marshalling (LCM) |
1.5.2 → 1.5.3 |
1 | 5 | 0 | 0 | single outdated | ||
Lambda calculus interpreter |
0.6 → 1.1 |
1 | 3 | 0 | 0 | single outdated | ||
MPEG-5 LCEVC Decoder |
4.2.2 → 4.3.0 |
1 | 7 | 4 | 45 | single outdated | ||
Client/server suite for controlling a wide variety of LCD devices |
0.5.9 |
1 | 13 | 0 | 0 | single | ||
Create cabinet (.cab) archives |
1.0b12 |
1 | 2 | 0 | 0 | single | ||
Toolchain and emulator for the LC-3 architecture |
0.12 → 12 |
1 | 7 | 0 | 0 | single outdated | ||
Open source neural network based chess engine |
0.32.1 |
1 | 10 | 0 | 0 | single | ||
Browser and wallet for LBRY, the decentralized, user-controlled content marketplace |
0.53.9 |
1 | 2 | 0 | 0 | single | ||
TUI to do vulnerability scanning using trivy |
1.4.1 |
1 | 5 | 0 | 0 | single | ||
Terminal-based SSH manager |
0.3.0 |
1 | 3 | 0 | 0 | single | ||
Terminal Spotify client for macOS and Linux |
0.5.1 → 0.5.2 |
1 | 5 | 0 | 0 | single broken outdated | ||
Terminal UI for rsync with profiles, dry-run preview and live progress |
0.3.0 |
1 | 7 | 0 | 0 | single |