41,885 packages · page 96 of 419
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
CLI tool to perform basic LDAP task for security assessments |
0.1.1 |
1 | 6 | 0 | 0 | single | ||
Tool to monitor creation, deletion and changes to LDAP objects |
1.4 |
1 | 13 | 0 | 0 | single | ||
Tool to anonymously bruteforce usernames from Domain controllers |
1.5.1 |
1 | 3 | 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 | ||
In-depth LDAP enumeration utility |
2.0.3 |
1 | 28 | 0 | 0 | single | ||
Link Identity Editor |
2.1.5 |
1 | 5 | 0 | 0 | single | ||
Put real or fake signatures in a Mach-O binary |
2.1.5-procursus7 |
1 | 6 | 0 | 0 | single | ||
Tool and library for managing Microsoft Windows Dynamic Disks |
0.2.5-unstable-2025-02-06 |
1 | 14 | 0 | 0 | single | ||
Gamedriver for LPMuds including a LPC compiler, interpreter and runtime |
3.6.8 |
1 | 10 | 0 | 0 | single unfree | ||
Gamedriver for LPMuds including a LPC compiler, interpreter and runtime |
3.6.8 |
1 | 16 | 0 | 0 | single unfree | ||
Linker Proxy: a simple tool to forward linker arguments to the actual linker executable |
0.31.4 |
1 | 5 | 0 | 0 | single | ||
Modern, lightweight and efficient 2D level editor |
1.5.3 |
1 | 6 | 0 | 0 | single | ||
Terminal Markdown previewer with a GUI-like experience |
1.28.3 |
1 | 7 | 0 | 0 | single | ||
Revival of an old classic, Alternate Gothic #1 |
1.601 |
1 | 2 | 1 | 1 | single | ||
monospace/variable font fun |
2.300 |
1 | 2 | 0 | 0 | single | ||
Font Collection by The League of Moveable Type |
1 | 20 | 0 | 0 | single | |||
Modern, coquettish script font |
2011-05-25 |
1 | 2 | 1 | 1 | single | ||
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 | ||
Automatic and interactive theorem prover |
3.51.0 → 4.34.1 |
1 | 4 | 0 | 0 | single outdated | ||
MCP server for the Lean theorem prover via the Lean LSP |
0.28.1 |
1 | 20 | 0 | 0 | single | ||
Automatic and interactive theorem prover (version with HoTT support) |
2018-10-01 |
1 | 9 | 0 | 0 | single | ||
Command-line argument parser for Lean 4 |
4.34.0 |
1 | 7 | 1 | 3 | single | ||
Lean 4 client for LeanSearch and Moogle proof search |
4.34.0-unstable-2026-09-14 |
1 | 7 | 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 | ||
White-box automation for Lean 4 |
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 | ||
Tools to analyse and visualise Lean 4 import structures |
4.34.0-unstable-2026-09-14 |
1 | 8 | 1 | 2 | single | ||
Automatic and interactive theorem prover |
4.34.1 |
1 | 5 | 9 | 10 | single | ||
Mathematical library for Lean 4 |
4.34.1 |
1 | 3 | 0 | 0 | single | ||
Mathematical library for Lean 4 |
4.34.1 |
1 | 14 | 1 | 1 | single | ||
Property-based testing framework for Lean 4 |
4.34.0-unstable-2026-09-14 |
1 | 7 | 1 | 2 | single | ||
Interactive UI framework for Lean 4 proof assistants |
0.0.111-unstable-2026-09-14 |
1 | 9 | 1 | 2 | single | ||
This plasTeX plugin allowing to write blueprints for Lean 4 projects |
0.0.20 |
1 | 24 | 0 | 0 | single | ||
Lean 4 .olean file (de)compressor |
0.1.19 |
1 | 6 | 2 | 12 | single | ||
Lightweight lossless file minifier/optimizer |
0.4.3-unstable-2026-06-05 |
1 | 2 | 0 | 0 | single | ||
Pair programming tool and library written in Golang |
0.9.1 |
1 | 3 | 0 | 0 | single | ||
Collection of C++ and CMake utility libraries |
1.12.13 |
1 | 6 | 2 | 2 | single | ||
A text-mode disk usage visualization utility |
0.2.0 |
1 | 6 | 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 | ||
Network based LED effect controller with support for advanced real-time audio effects |
2.2.1 |
1 | 59 | 0 | 0 | single | ||
Web frontend to the Ledger CLI tool |
1.5.2 |
1 | 4 | 0 | 0 | single | ||
Ledger to Beancount text-based converter |
2.7 |
1 | 52 | 0 | 0 | single | ||
Line editor, allowing to use shell commands with control characters like in emacs |
2.08 |
1 | 6 | 1 | 1 | single | ||
Enclosure LED Utilities |
0.92 → 1.1.0 |
1 | 5 | 0 | 0 | single outdated | ||
CLI frontend to the poppler-glib library of PDF tools |
12.fe7a35a |
1 | 4 | 0 | 0 | single | ||
Go engine modeled after AlphaGo Zero |
0.17-unstable-2023-02-07 |
1 | 8 | 0 | 0 | single | ||
Game to practice your Helix editor skills with code challenges |
0-unstable-2026-03-01 |
1 | 20 | 0 | 0 | single | ||
Leetcode CLI utility |
0.5.5 |
1 | 11 | 0 | 0 | single | ||
Command-line tool for LeetCode |
1.4.19 → 1.5.1 |
1 | 4 | 0 | 0 | single outdated | ||
Run CUDA kernels from your terminal |
1.2.0 |
1 | 3 | 0 | 0 | single unfree | ||
Spaced repetition CLI for DSA and LeetCode |
1.2.0 |
1 | 5 | 0 | 0 | single | ||
Fast and powerful Git hooks manager for any type of projects |
2.1.15 → 2.2.1 |
1 | 4 | 0 | 0 | single outdated | ||
Little satellite utility for LeftWM |
0-unstable-2024-03-13 → 0.1.0 |
1 | 5 | 0 | 0 | single outdated | ||
Theme manager for LeftWM |
0.1.3 |
1 | 7 | 0 | 0 | single | ||
Multiprotocol credentials bruteforcer / password sprayer and enumerator |
0.11.0 → 1.3.0 |
1 | 9 | 0 | 0 | single outdated | ||
Free and open-source Epic Games Launcher alternative |
0.21.1 |
1 | 18 | 2 | 3 | single | ||
Free-to-play MMORPG |
2025.06.002 |
1 | 36 | 0 | 0 | single unfree | ||
Multi-platform, open source, legends viewer for dwarf fortress 0.47 written in go |
2.0.10 |
1 | 3 | 0 | 0 | single | ||
Recreates Dwarf Fortress' Legends Mode from exported files |
1.3.0 |
1 | 21 | 0 | 0 | single | ||
Git for Humans, Inspired by GitHub for Mac |
1.2.0.post0 |
1 | 21 | 0 | 0 | single | ||
Web frontend for git |
0.2.4 |
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 | ||
High Performance I/O and sensor/actuator control for robotics and IoT applications |
2.3.5 |
1 | 3 | 0 | 0 | single | ||
XML Language Server |
0.31.2 |
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 | ||
Lightweight xcb based bar with XFT-support |
2.0-unstable-2020-09-09 |
1 | 5 | 0 | 0 | single | ||
Program for learning music |
6.0.1-unstable-2025-09-15 |
1 | 17 | 0 | 0 | single | ||
Lightweight security threat scanner intended to make malware detection more accessible and efficient |
1.0.6 |
1 | 22 | 0 | 0 | single | ||
Functional, statically-typed programming language built for writing private applications |
3.4.0 |
1 | 8 | 0 | 0 | single | ||
High-performance typed higher order prover |
1.7.0 |
1 | 6 | 0 | 0 | single | ||
Automated theorem prover for classical higher-order logic with choice |
1.7.18 |
1 | 3 | 0 | 0 | single | ||
CAD program for creating virtual LEGO models |
25.09 → 26.09 |
1 | 8 | 0 | 0 | single outdated | ||
Lepton Electronic Design Automation |
1.9.18-20220529 |
1 | 16 | 0 | 0 | single | ||
Port of DropBox Lepton compression to Rust |
0.5.8 |
1 | 6 | 0 | 0 | single | ||
Image processing and analysis library |
1.87.0 |
1 | 11 | 22 | 73 | single | ||
Formatter for the leptos view! macro |
0.1.33 |
1 | 6 | 0 | 0 | single | ||
C++ library for Limited Error Raster Compression |
4.2.0 |
1 | 3 | 110 | 20,329 | single | ||
Fast, modern build system for managing and publishing multiple JavaScript/TypeScript packages from the same repository |
8.1.9 → 10.1.0 |
1 | 7 | 0 | 0 | single outdated | ||
Fast, modern build system for managing and publishing multiple JavaScript/TypeScript packages from the same repository |
6.6.2 |
1 | 7 | 0 | 0 | single | ||
Programming language agnostic view layer for creating desktop widgets and status bars |
1.1.0 |
1 | 7 | 0 | 0 | single | ||
Dynamic stylesheet language |
4.9.1 |
1 | 5 | 1 | 1 | single | ||
Python LESS Compiler |
0.15.1 → 0.15.2 |
1 | 19 | 2 | 2 | single outdated | ||
Stateless password manager |
9.1.9 |
1 | 18 | 0 | 0 | single | ||
Preprocessor for less |
2.20 → 2.28 |
1 | 15 | 0 | 0 | single outdated | ||
Tool to wipe drives in a secure way |
0.8.2 |
1 | 5 | 0 | 0 | single | ||
Database manager for SQLite (formerly SQLiteStudio) |
4.0.3 |
1 | 11 | 0 | 0 | single | ||
Official plugins for Letos (formerly SQLiteStudio) |
4.0.3 |
1 | 12 | 1 | 1 | single | ||
Manage DANE TLSA records in DNS servers |
1.2.2 |
1 | 20 | 0 | 0 | single | ||
Open source templating and deployment tool for HashiCorp Nomad jobs |
0.4.0 |
1 | 3 | 0 | 0 | single | ||
oneAPI Level Zero Specification Headers and Loader |
1.32.0 → 1.34.0 |
1 | 4 | 7 | 160 | single outdated | ||
Full Rust implementation of the Reticulum network stack, for embedded, server, desktop and mobile |
0.9.0 |
1 | 8 | 0 | 0 | single | ||
ANSI C implementations of Levenberg-Marquardt, usable also from C++ |
2.6 |
1 | 2 | 1 | 3 | single | ||
Open source HTML Renderer library |
3.1.0-unstable-2026-09-28 |
1 | 3 | 2 | 4 | single | ||
Variable font family designed to aid in reading proficiency |
0.pre+date=2022-09-22 |
1 | 2 | 0 | 0 | single | ||
Manipulate DNS records on various DNS providers in a standardized way |
3.16.1 → 3.25.2 |
1 | 29 | 0 | 0 | single outdated | ||
Terminal assistant, powered by Generative AI |
1.4.3 |
1 | 3 | 0 | 0 | single | ||
CUPS drivers for Lexmark B2200 and MB2200 Series printers |
1.0 |
1 | 8 | 0 | 0 | single unfree | ||
Lightweight CLI tool that fetches programming tutorials from "Learn X in Y Minutes" directly into your terminal |
0.6.3 → 2025.05.0 |
1 | 21 | 0 | 0 | single outdated | ||
Terminal file manager written in Go and heavily inspired by ranger |
42 |
1 | 5 | 0 | 0 | single | ||
Lightning Fast Kubernetes navigator |
0.14.19 → 0.19.3 |
1 | 3 | 0 | 0 | single outdated |