37,779 packages · page 315 of 378
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Documentation Extraction Tool |
4.99.44 |
0 | 3 | 2 | 2 | unmaintained | ||
Yet another zen simulation; A simple find-the-kitten game |
2.8284271.702 → 3.0000000.726 |
0 | 6 | 0 | 0 | unmaintained outdated | ||
Tools to configure ROCCAT devices |
5.9.1 |
0 | 14 | 0 | 0 | unmaintained | ||
Tool for synchronizing music and visuals in demoscene productions |
2018-06-09 |
0 | 5 | 0 | 0 | unmaintained | ||
Scrolling tile-based arcade style puzzle game |
4.4.2.4 |
0 | 8 | 0 | 0 | unmaintained | ||
unstable-2024-12-13 |
0 | 5 | 1 | 2 | unmaintained | |||
| 0 | 4 | 0 | 0 | unmaintained | ||||
Visualization tool for AMD GPU thread traces from rocprofv3 --att |
0.1.6 |
0 | 6 | 0 | 0 | unmaintained | ||
20230107 |
0 | 5 | 0 | 0 | unmaintained | |||
20230107 |
0 | 5 | 0 | 0 | unmaintained | |||
20230107 |
0 | 5 | 1 | 1 | unmaintained | |||
Verified Software Toolchain |
2.17 |
0 | 6 | 0 | 0 | unmaintained | ||
9.0.0+rocq9.1 |
0 | 5 | 8 | 9 | unmaintained | |||
CoqEAL - The Coq Effective Algebra Library |
2.1.2 |
0 | 8 | 1 | 1 | unmaintained | ||
From JSON to Coq, and vice versa |
0.2.0 |
0 | 7 | 0 | 0 | unmaintained | ||
ValidSDP |
1.1.1 |
0 | 10 | 1 | 1 | unmaintained | ||
Small library to do epsilon - N reasonning |
1.0.4 |
0 | 5 | 4 | 9 | unmaintained | ||
Finset and finmap library |
2.2.2 |
0 | 5 | 3 | 13 | unmaintained | ||
Coq formalization of information theory and linear error-correcting codes |
0.9.7 |
0 | 7 | 0 | 0 | unmaintained | ||
Mathematical Components Library on real closed fields |
2.0.5 |
0 | 6 | 2 | 7 | unmaintained | ||
Proofs of Tarjan and Kosaraju connected components algorithms |
1.0.5 |
0 | 6 | 0 | 0 | unmaintained | ||
Plugin for (semi)decision procedures for arithmetic. |
1.1.1 |
0 | 5 | 0 | 0 | unmaintained | ||
Typed tactic language for Coq |
1.4-rocq9.1 |
0 | 6 | 0 | 0 | unmaintained | ||
Coq/SSReflect Library for Monoidal Rings and Multinomials |
2.4.0 |
0 | 9 | 2 | 2 | unmaintained | ||
Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting, experimental and tailored for use in Fiat Cryptography |
0.0.15 |
0 | 5 | 0 | 0 | unmaintained | ||
Rocq Proof Assistant -- Standard Library |
9.0.0 |
0 | 4 | 47 | 75 | unmaintained | ||
Enhanced unification algorithm for Coq |
1.6-9.1 |
0 | 4 | 1 | 1 | unmaintained | ||
ValidSDP |
1.1.1 |
0 | 12 | 0 | 0 | unmaintained | ||
Generates menu based applications using rofi |
0-unstable-2015-12-28 |
0 | 4 | 0 | 0 | unmaintained unfree | ||
Final version of the original Rogue game developed for the UNIX operating system |
5.4.4 → 5.4.5 |
0 | 3 | 0 | 0 | unmaintained outdated | ||
Bar for wlroots-based Wayland compositors |
unstable-2024-08-07 → 2020-11-13 |
0 | 10 | 0 | 0 | unmaintained outdated | ||
Kind of Linux-native "fake root" utility, made for mainly running Docker and Kubernetes as an unprivileged user |
2.3.6 → 3.3.0 |
0 | 3 | 0 | 0 | unmaintained outdated | ||
5.1.3 |
0 | 2 | 0 | 0 | unmaintained | |||
3.3.1 |
0 | 2 | 0 | 0 | unmaintained | |||
1.6.6 |
0 | 2 | 0 | 0 | unmaintained | |||
5.3.0 |
0 | 2 | 0 | 0 | unmaintained | |||
1.6.2 |
0 | 2 | 0 | 0 | unmaintained | |||
Test DRAM for bit flips caused by the rowhammer problem |
0-unstable-2015-08-11 |
0 | 2 | 0 | 0 | unmaintained | ||
Highly configurable terminal emulator |
3.18.2 |
0 | 26 | 0 | 0 | unmaintained | ||
Risc PC Emulator |
0.9.5 |
0 | 5 | 0 | 0 | unmaintained | ||
Your filesystem as a dungeon |
1.2.0 |
0 | 5 | 0 | 0 | unmaintained | ||
Open-source implementation of an AirPlay mirroring server |
0-unstable-2021-06-14 |
0 | 14 | 0 | 0 | unmaintained | ||
RPM package manager |
4.20.1 → 6.1.0 |
0 | 25 | 29 | 90 | unmaintained outdated | ||
Hybrid image/package system. It uses OSTree as an image format, and uses RPM as a component model |
2026.1 → 2026.3 |
0 | 38 | 0 | 0 | unmaintained outdated | ||
Convert a .rpm file to a .tar.gz archive |
2021.03.16 |
0 | 9 | 0 | 0 | unmaintained | ||
Script to extract RPM archives |
4.20.1 |
0 | 2 | 24 | 30 | unmaintained | ||
Tool for doing record analysis and transformation |
1.0.4 |
0 | 6 | 0 | 0 | unmaintained | ||
Reshape a data array from standard input |
20200313 |
0 | 5 | 0 | 0 | unmaintained | ||
Sass reimplemented in rust with nom |
0.29.0 → 0.29.2 |
0 | 5 | 0 | 0 | unmaintained outdated | ||
Configure systems using any scripting language |
3.2 → 3.5 |
0 | 5 | 0 | 0 | unmaintained outdated | ||
Command-line tool to sign files and verify signatures |
0.6.5 |
0 | 5 | 0 | 0 | unmaintained | ||
Fast, customizable, and easy to use JavaScript and TypeScript linter |
0.3.2 |
0 | 5 | 0 | 0 | unmaintained | ||
Perform various manipulations on the wordlists |
1.5-unstable-2019-07-24 |
0 | 3 | 0 | 0 | unmaintained | ||
Tool that converts RSS/Atom newsfeeds to email |
3.14 |
0 | 18 | 0 | 0 | unmaintained | ||
Converts ReSTructuredText to (X)HTML5 |
2.0.1 |
0 | 20 | 0 | 0 | unmaintained | ||
Convert reStructured Text to PDF via ReportLab |
0.105 |
0 | 28 | 0 | 0 | unmaintained | ||
2026.09.0+174 → 2026.10.0-233 |
0 | 6 | 0 | 0 | unmaintained outdated | |||
2026.09.0+174 → 2026.10.0-233 |
0 | 5 | 0 | 0 | unmaintained outdated | |||
Enhanced syslog implementation |
8.2608.0 |
0 | 33 | 0 | 0 | unmaintained | ||
Enhanced syslog implementation |
8.2608.0 |
0 | 10 | 0 | 0 | unmaintained | ||
6.0.3 |
0 | 7 | 0 | 0 | unmaintained | |||
C/C++ client-server indexer based on clang |
2.46 |
0 | 7 | 0 | 0 | unmaintained | ||
Framework for converting Left-To-Right (LTR) Cascading Style Sheets(CSS) to Right-To-Left (RTL) |
4.1.0 |
0 | 7 | 3 | 3 | unmaintained | ||
Toplevel (or REPL) for Reason, based on utop |
3.18.0 |
0 | 9 | 0 | 0 | unmaintained | ||
Number of small applications that can be used for processing RTP data |
1.22 |
0 | 2 | 0 | 0 | unmaintained | ||
C++ Reflection Library |
0.9.6 → 0.9.7 |
0 | 4 | 0 | 0 | unmaintained outdated | ||
Tool to easily work with timezone lookups via a binary, a library, or a server |
0.10.0 |
0 | 9 | 0 | 0 | unmaintained | ||
High quality software library for audio time-stretching and pitch-shifting |
4.0.0 |
0 | 12 | 35 | 171 | unmaintained | ||
Rubik Font - is a 5 weight Roman + Italic family |
2.200 |
0 | 3 | 0 | 0 | unmaintained | ||
1.80.2 → 1.92.0 |
0 | 14 | 5 | 6 | unmaintained outdated | |||
Object-oriented language for quick and easy programming |
3.4.11 |
0 | 15 | 514 | 7,343 | unmaintained | ||
0.26.3 → 0.26.11 |
0 | 7 | 0 | 0 | unmaintained outdated | |||
3.0.8 |
0 | 4 | 2 | 13 | unmaintained | |||
7.2.3 |
0 | 9 | 1 | 1 | unmaintained | |||
7.2.3 |
0 | 10 | 1 | 1 | unmaintained | |||
7.2.3 |
0 | 10 | 1 | 1 | unmaintained | |||
7.2.3 |
0 | 15 | 7 | 7 | unmaintained | |||
7.2.3 |
0 | 10 | 1 | 1 | unmaintained | |||
7.2.3 |
0 | 10 | 4 | 9 | unmaintained | |||
7.2.3 |
0 | 6 | 4 | 5 | unmaintained | |||
7.2.3 |
0 | 5 | 2 | 5 | unmaintained | |||
7.2.3 |
0 | 7 | 4 | 4 | unmaintained | |||
7.2.3 |
0 | 9 | 3 | 3 | unmaintained | |||
7.2.3 |
0 | 15 | 20 | 34 | unmaintained | |||
2.8.7 |
0 | 5 | 13 | 63 | unmaintained | |||
1.27.5 |
0 | 6 | 1 | 11 | unmaintained | |||
1.5.0 |
0 | 4 | 0 | 0 | unmaintained | |||
2.4.3 |
0 | 4 | 1 | 9 | unmaintained | |||
4.3.3 |
0 | 13 | 1 | 1 | unmaintained | |||
0.1.3 |
0 | 4 | 1 | 13 | unmaintained | |||
1.9.2 |
0 | 4 | 0 | 0 | unmaintained | |||
1.2.0 |
0 | 4 | 1 | 1 | unmaintained | |||
1.2.0 |
0 | 4 | 0 | 0 | unmaintained | |||
0.3.0 |
0 | 4 | 9 | 48 | unmaintained | |||
0.5.0 |
0 | 4 | 2 | 36 | unmaintained | |||
3.3.1 |
0 | 4 | 5 | 41 | unmaintained | |||
2.5.1 |
0 | 4 | 1 | 3 | unmaintained | |||
3.3.0 |
0 | 4 | 3 | 14 | unmaintained | |||
12.0.0 |
0 | 4 | 1 | 1 | unmaintained | |||
1.18.4 |
0 | 15 | 1 | 4 | unmaintained |