23,991 packages · page 46 of 240
| Package ▼ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Formal verification tool for distributed software systems |
6.5.2 |
2 | 8 | 0 | 0 | maintained | ||
RISC-V ISA Simulator |
1.1.0-unstable-2024-09-21 |
1 | 3 | 0 | 0 | single | ||
Command-line exact real calculator |
20240909.f158e08 |
0 | 7 | 0 | 0 | unmaintained | ||
Integrates Spiffe and Vault to have secretless authentication |
0.6.2 |
1 | 4 | 0 | 0 | single | ||
Retrieve and manage SVIDs on behalf of a workload |
0.11.0 → 0.12.2 |
1 | 3 | 0 | 0 | single outdated | ||
Secure online backup and synchronization |
7.5.2 |
0 | 14 | 0 | 0 | unmaintained unfree | ||
Mozilla's JavaScript engine written in C/C++ |
140.14.0 → 153.3.0 |
1 | 18 | 6 | 2,596 | single outdated | ||
Mozilla's JavaScript engine written in C/C++ |
128.14.0 |
1 | 18 | 0 | 0 | single | ||
Web crawler and scraper, building blocks for data curation workloads |
2.44.3 |
1 | 11 | 0 | 0 | single | ||
C++ parser generator for dissecting protocols & files |
1.16.1 → 1.17.0 |
1 | 8 | 0 | 0 | single outdated | ||
Nintendo 64 segment assembler |
0.6.2 |
1 | 3 | 0 | 0 | single | ||
Command-line tool to customize Spotify client |
2.45.3 |
2 | 5 | 0 | 0 | maintained | ||
Command line for managing SpiceDB |
1.2.1 |
2 | 4 | 0 | 0 | maintained | ||
Open source permission database |
1.56.2 |
2 | 4 | 0 | 0 | maintained | ||
Enhanced SPICE integration for linux QEMU guest |
0.23.0 |
1 | 14 | 0 | 0 | single | ||
Create simple and beautiful presentations |
1.9.1 |
5 | 15 | 0 | 0 | maintained | ||
Protocol headers for the SPICE protocol |
0.14.5 |
0 | 4 | 16 | 41 | unmaintained | ||
SPICE Glib client library with GTK+3 widget |
0.43 |
2 | 37 | 6 | 7 | maintained | ||
SPICE Glib client library |
0.43 |
2 | 34 | 1 | 1 | maintained | ||
Automatically adjust the client window resolution in Linux KVM guests using the SPICE driver |
0.0.2 |
1 | 6 | 0 | 0 | single | ||
Complete open source solution for interaction with virtualized desktop devices |
0.16.0 |
1 | 25 | 5 | 29 | single | ||
Simple command line tools to help using Linux spidev devices |
1.1.0 |
1 | 3 | 0 | 0 | single | ||
Generates Sphinx markup from an XML description extracted by Doxygen |
1.0.12 |
1 | 15 | 3 | 3,365 | single | ||
Open source full text search server |
2.2.11 → 3.1.1 |
2 | 4 | 0 | 0 | maintained outdated | ||
Spawns a simple HTTP server to preview your sphinx documents |
1.0.1 |
1 | 13 | 0 | 0 | single | ||
Check for stylistic and formal issues in .rst and .py files included in the documentation |
1.0.2 |
1 | 20 | 0 | 0 | single | ||
Sphinx extension for automatic generation of an example gallery |
0.21.0 |
4 | 39 | 0 | 0 | maintained | ||
Rebuild Sphinx documentation on changes, with live-reload in the browser |
2025.08.25 |
1 | 23 | 0 | 0 | single | ||
Python documentation generator |
9.1.0 |
0 | 38 | 42 | 20,387 | unmaintained | ||
C library for finding and handling crystal symmetries |
2.7.0 → 2.8.0 |
1 | 5 | 6 | 7 | single outdated | ||
Sparse 3D FFT library with MPI, OpenMP, CUDA and ROCm support |
1.1.1 |
1 | 6 | 4 | 4 | single | ||
Postfix policy engine for Sender Policy Framework (SPF) checking |
3.1.0 |
0 | 19 | 0 | 0 | unmaintained | ||
A command-line tool for spellchecking files |
7.0.4 |
1 | 6 | 0 | 0 | single | ||
Analyse your audio files by showing their spectrogram |
0.8.5 |
1 | 9 | 0 | 0 | single | ||
Open Source/Free Software patent-free audio compression format designed for speech |
1.2.1 |
0 | 5 | 43 | 14,776 | unmaintained | ||
Open Source/Free Software patent-free audio compression format designed for speech |
1.2.1 |
0 | 6 | 75 | 14,141 | unmaintained | ||
Speedtest Tracker is a self-hosted application that monitors the performance and uptime of your internet connection |
1.14.6 |
1 | 6 | 0 | 0 | single | ||
Command line internet speedtest tool written in rust |
0.2.0 |
1 | 7 | 0 | 0 | single | ||
CLI and Go API to Test Internet Speed using speedtest.net |
1.8.3 |
2 | 3 | 0 | 0 | maintained | ||
Command line interface for testing internet bandwidth using speedtest.net |
2.1.3 |
1 | 13 | 3 | 3 | single | ||
Graphical librespeed client written using GTK4 + libadwaita |
1.4.0 |
1 | 23 | 0 | 0 | single | ||
Fast and interactive web-based viewer for performance profiles |
1.25.0 |
1 | 8 | 0 | 0 | single | ||
Simple terminal-based open source Spritz-alike |
unstable-2016-09-21 → 1.0 |
1 | 3 | 0 | 0 | single outdated | ||
Use multiple internet connections in parallel |
16.7.0-12928 → 17.2.1.12952 |
1 | 6 | 0 | 0 | single unfree outdated | ||
High-precision scientific calculator |
0.12-unstable-2024-12-02 → 1.0.0 |
1 | 6 | 0 | 0 | single outdated | ||
Car racing game - TORCS fork with more experimental approach |
2.4.2 |
2 | 37 | 0 | 0 | maintained | ||
Measure the speed and consistency of your internet connection using speed.cloudflare.com |
2.0.3-unstable-2025-07-31 |
1 | 7 | 0 | 0 | single | ||
Common interface to speech synthesis - client libraries only |
0.12.1 |
1 | 17 | 54 | 733 | single | ||
Common interface to speech synthesis |
0.12.1 |
1 | 22 | 0 | 0 | single | ||
Text-to-speech engine |
2.5.0 |
1 | 5 | 0 | 0 | single | ||
Fast and personalized local speech-to-text |
1.4.3 |
1 | 36 | 0 | 0 | single | ||
Speech denoise lv2 plugin based on RNNoise library |
0-unstable-2018-10-08 → 07-10-2019 |
1 | 6 | 0 | 0 | single outdated | ||
Rapid word display tool for improved reading focus and reduced eye movement |
2.8.1 |
1 | 12 | 0 | 0 | single | ||
Manage the application of templates to custom yaml |
0.2.0.6 |
1 | 13 | 0 | 0 | single | ||
Tiling window manager |
3.7.0 |
1 | 11 | 0 | 0 | single | ||
Spectre & Meltdown vulnerability/mitigation checker for Linux |
26.36.0602723 → 26.36.0913490 |
1 | 5 | 0 | 0 | single outdated | ||
Stateless cryptographic identity algorithm |
unstable-2022-02-05 → 2022-02-05 |
1 | 8 | 0 | 0 | single outdated | ||
Real-time audio noise suppression application |
0.8.0 |
1 | 16 | 0 | 0 | single | ||
Awesome Spectral JSON/YAML linter with OpenAPI/AsyncAPI support |
1.0.8-unstable-2023-06-06 |
0 | 7 | 0 | 0 | unmaintained | ||
C++ library for large scale eigenvalue problems, built on top of Eigen |
1.2.0 |
1 | 4 | 3 | 93 | single | ||
Allows to analyze samples of musical instruments, and to combine them (morphing) to construct hybrid sounds |
0.6.1 |
1 | 11 | 0 | 0 | single | ||
Converts Specr lang code to Rust |
0.1.25 |
0 | 5 | 0 | 0 | unmaintained | ||
Bootstrap your projects for Spec-Driven Development (SDD) |
1.1.0 |
2 | 24 | 0 | 0 | maintained | ||
Tool for doing Password Spraying with User Intelligence |
2.0.0 |
1 | 23 | 0 | 0 | single | ||
Userspace daemon that implements the Smart Amp protection model |
3.0.0 |
2 | 8 | 0 | 0 | maintained | ||
CLI tool for Speakeasy |
1.800.1 |
1 | 4 | 0 | 0 | single unfree | ||
Various data formats for the SPDX License List |
3.28.0 → 3.29.0 |
0 | 2 | 4 | 7 | unmaintained outdated | ||
Very fast, header only, C++ logging library |
1.17.0 |
1 | 5 | 81 | 21,493 | single | ||
Set of libraries for fast user-mode storage |
26.01 → 26.05 |
1 | 29 | 0 | 0 | single outdated | ||
Provides an interface to external programs that support the FastCGI interface |
1.6.6 |
0 | 4 | 0 | 0 | unmaintained | ||
Complete sqlite3-compatible CLI front-end for libspatialite |
5.1.0a |
8 | 14 | 1 | 2 | maintained | ||
Graphical user interface for SpatiaLite |
2.1.0-beta1 |
7 | 22 | 0 | 0 | team-only | ||
Implementing a spatial model inspired by Material Shell, for i3 and sway |
7 |
1 | 9 | 0 | 0 | single | ||
Automated theorem prover for first-order logic |
3.9 |
1 | 4 | 0 | 0 | single | ||
Z80 assembler with extra features to support development for TI calculators |
0.5-beta.3-unstable-2022-07-05 |
1 | 7 | 0 | 0 | single | ||
Extremely memory-efficient hash_map implementation |
2.0.4 |
1 | 2 | 9 | 10 | single | ||
Semantic parser for C |
0.6.5-rc1-unstable-2025-12-18 |
2 | 10 | 1 | 1 | maintained | ||
Software renderer for different open handhelds like the gp2x, wiz, caanoo and pandora |
unstable-2020-10-06 |
1 | 9 | 1 | 1 | single | ||
Modern desktop Bitcoin wallet application supporting most hardware wallets and built on common standards such as PSBT, with an emphasis on transparency and usability |
2.5.5 |
2 | 5 | 0 | 0 | maintained | ||
Another Mihomo GUI |
1.26.9 |
1 | 18 | 0 | 0 | single | ||
Apache Spark is a fast and general engine for large-scale data processing |
3.4.4 |
3 | 7 | 0 | 0 | maintained | ||
Apache Spark is a fast and general engine for large-scale data processing |
3.5.5 |
3 | 7 | 0 | 0 | maintained | ||
Apache Spark is a fast and general engine for large-scale data processing |
4.0.1 → 4.2.0 |
3 | 7 | 0 | 0 | maintained outdated | ||
Portable and modular SIP User-Agent with audio and video support |
3.0.0 → 3.1.1 |
5 | 17 | 4 | 17 | maintained outdated | ||
Portable and modular SIP User-Agent with audio and video support |
0.0.6 |
5 | 16 | 16 | 3,309 | maintained | ||
C++20-like span for C++98, C++11 and later in a single-file header-only library |
0.11.0 |
1 | 3 | 1 | 1 | single | ||
Open-Source Spam Filter |
4.0.1 → 4.0.2 |
2 | 40 | 1 | 4 | maintained outdated | ||
0.21.1 |
0 | 46 | 0 | 0 | unmaintained | |||
Mario Kart 64 PC Port |
1.0.0 |
1 | 22 | 0 | 0 | single unfree | ||
St. Petersburg genome assembler, a toolkit for assembling and analyzing sequencing data |
4.2.0 → 4.3.0 |
1 | 7 | 0 | 0 | single outdated | ||
Better hardware description language |
0.20.0 |
1 | 7 | 1 | 1 | single | ||
0.2.3 |
0 | 2 | 0 | 0 | unmaintained | |||
Full-featured relational database system that lets you run your application logic inside the database |
2.10.2 |
1 | 9 | 0 | 0 | single unfree | ||
Zsh prompt for Astronauts |
4.22.5 |
3 | 2 | 0 | 0 | maintained | ||
CLI tool to insert spacers when command output stops |
0.5.0 |
0 | 5 | 0 | 0 | unmaintained | ||
Device driver and SDK for 3Dconnexion 3D input devices |
1.3.1 |
1 | 4 | 0 | 0 | single | ||
Example application to test the spacenavd driver |
1.2 |
1 | 5 | 0 | 0 | single | ||
Open source file manager, powered by a virtual distributed filesystem |
0.4.3 |
4 | 13 | 0 | 0 | maintained broken | ||
Spacelift client and CLI |
1.26.0 |
1 | 4 | 0 | 0 | single | ||
Gopher server library and daemon |
1.1.0.1 |
1 | 19 | 0 | 0 | single |