41,855 packages · page 25 of 419
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Language Server Protocol and VS Code Extension for Coq |
0.2.5+9.1 |
1 | 6 | 0 | 0 | single | ||
Library to create Coq record update functions |
0.3.6 |
1 | 4 | 0 | 0 | single | ||
Library to certify primality using Pocklington certificate and Elliptic Curve Certificate |
8.20 |
1 | 5 | 0 | 0 | single | ||
Coq library for Reals |
3.4.5 |
1 | 7 | 2 | 4 | single | ||
Coq library for tactics, basic definitions, sets, maps |
0.0.7 |
1 | 6 | 0 | 0 | single | ||
Generic instances of MathComp classes |
0.2.3 |
1 | 6 | 2 | 2 | single | ||
Build dependency graphs between Coq objects |
1.0+9.1 |
1 | 4 | 0 | 0 | single | ||
Plugin for Coq to add dependent pattern-matching |
1.3.1+9.1 → 1.3+8.19 |
1 | 6 | 15 | 23 | single outdated | ||
Finite data structures with extensional reasoning |
0.5.0 |
1 | 6 | 1 | 1 | single | ||
Coq library of Partial Commutative Monoids |
2.2.0 |
1 | 6 | 0 | 0 | single | ||
Floating-point formalization for the Rocq system |
4.2.2 |
1 | 7 | 5 | 8 | single | ||
Formal proof of the Four Color Theorem |
1.4.3 |
1 | 7 | 1 | 1 | single | ||
Implementation of books from Bourbaki's Elements of Mathematics in Coq |
2.4 |
1 | 8 | 0 | 0 | single | ||
Library of formalized graph theory results in Coq |
0.9.7 |
1 | 10 | 0 | 0 | single | ||
Tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant |
4.11.5 |
1 | 11 | 3 | 3 | single | ||
Ring and field tactics for Mathematical Components |
1.2.7 |
1 | 8 | 3 | 3 | single | ||
Analysis library compatible with Mathematical Components |
1.16.0 |
1 | 9 | 3 | 4 | single | ||
Analysis library compatible with Mathematical Components |
1.16.0 |
1 | 8 | 1 | 1 | single | ||
Analysis library compatible with Mathematical Components |
1.16.0 |
1 | 7 | 1 | 9 | single | ||
Analysis library compatible with Mathematical Components |
1.16.0 |
1 | 7 | 1 | 1 | single | ||
Analysis library compatible with Mathematical Components |
1.16.0 |
1 | 6 | 2 | 8 | single | ||
Analysis library compatible with Mathematical Components |
1.16.0 |
1 | 7 | 3 | 4 | single | ||
Yet Another Coq Library on Machine Words |
3.5 |
1 | 9 | 2 | 2 | single | ||
Micromega tactics for Mathematical Components |
1.7.0+2.4+9.0 |
1 | 8 | 1 | 4 | single | ||
1.5.1-9.1 |
1 | 11 | 0 | 0 | single | |||
1.5.1-9.1 |
1 | 8 | 2 | 19 | single | |||
1.5.1-9.1 |
1 | 10 | 7 | 11 | single | |||
1.5.1-9.1 |
1 | 10 | 4 | 4 | single | |||
1.5.1-9.1 |
1 | 8 | 3 | 16 | single | |||
1.5.1-9.1 |
1 | 10 | 1 | 1 | single | |||
1.5.1-9.1 |
1 | 8 | 2 | 13 | single | |||
1.5.1-9.1 |
1 | 10 | 2 | 2 | single | |||
1.5.1-9.1 |
1 | 9 | 4 | 14 | single | |||
1.5.1-9.1 |
1 | 8 | 6 | 16 | single | |||
1.5.1-9.1 |
1 | 8 | 1 | 1 | single | |||
1.5.1-9.1 |
1 | 7 | 2 | 21 | single | |||
Formal proof of the Odd Order Theorem |
2.4.0 |
1 | 5 | 0 | 0 | single | ||
Library for serialization to S-expressions |
0.2.0 |
1 | 7 | 1 | 1 | single | ||
Total parser combinators in Rocq |
0.3.1 |
1 | 5 | 1 | 2 | single | ||
Regular Language Representations in Coq |
1.2.2 |
1 | 6 | 0 | 0 | single | ||
Relation algebra library for Rocq |
1.8.1 |
1 | 7 | 0 | 0 | single | ||
Rocqnavi: an HTML documentation generator for Rocq prover |
0.5.0 |
1 | 4 | 0 | 0 | single | ||
Purely functional IO for Coq |
1.11.0 |
1 | 6 | 1 | 2 | single | ||
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq |
0.3.1 |
1 | 11 | 0 | 0 | single | ||
Verified Extraction from Rocq to OCaml. Including a bootstrapped extraction plugin |
1.0.0-9.1 |
1 | 8 | 0 | 0 | single | ||
Language server for the vsrocq vscode/codium extension |
2.4.3 |
1 | 7 | 0 | 0 | single | ||
Wasm mechanisation in Coq/Rocq |
2.2.0 |
1 | 10 | 1 | 1 | single | ||
Build native mobile applications using HTML, CSS and JavaScript |
13.0.0 |
1 | 7 | 0 | 0 | single | ||
Control your computer hardware via application profiles |
1.5.2 |
1 | 23 | 0 | 0 | single | ||
Package manager version manager for Node.js projects |
0.36.0 |
1 | 6 | 0 | 0 | single | ||
Wrappers for npm, pnpm and Yarn via Node.js Corepack |
22.23.3 |
1 | 3 | 0 | 0 | single | ||
Wrappers for npm, pnpm and Yarn via Node.js Corepack |
24.21.0 |
1 | 3 | 0 | 0 | single | ||
Open-source display font family |
4.002 |
1 | 2 | 0 | 0 | single | ||
CLI for Cornlang, a simple and pain-free configuration language |
0.10.1 |
1 | 7 | 0 | 0 | single | ||
Generate type-checked Rust from your PostgreSQL |
1.0.1 |
1 | 6 | 0 | 0 | single | ||
Open-source APM & Observability tool |
1.27.1 |
1 | 7 | 0 | 0 | single | ||
Corosync Cluster Engine Qdevice |
3.0.4 |
1 | 10 | 0 | 0 | single | ||
Amazon's distribution of OpenJDK |
11.0.30.7.1 |
1 | 38 | 0 | 0 | single | ||
Amazon's distribution of OpenJDK |
17.0.17.10.1 |
1 | 38 | 0 | 0 | single | ||
Amazon's distribution of OpenJDK |
21.0.9.11.1 |
1 | 38 | 0 | 0 | single | ||
Amazon's distribution of OpenJDK |
25.0.1.9.1 |
1 | 40 | 0 | 0 | single | ||
Security scanner for finding exposed credentials, secrets, and vulnerabilities |
0.5.3 |
1 | 6 | 0 | 0 | single | ||
Tool for integrating Rust into an existing CMake project |
0.6.1 |
1 | 5 | 12 | 53 | single | ||
Render wave files into oscilloscope views, featuring advanced correlation-based triggering algorithm |
0.11.0 |
1 | 30 | 0 | 0 | single | ||
Simple image glitcher suitable for producing lockscreens |
1.0-unstable-2023-01-11 |
1 | 3 | 0 | 0 | single | ||
Python module to check for Cross-Origin Resource Sharing (CORS) misconfigurations |
0.2.0 |
1 | 22 | 0 | 0 | single | ||
Cortex Command Community Project |
6.2.2 |
1 | 15 | 0 | 0 | single unfree | ||
Tools used for interacting with Cortex, a Prometheus-compatible server |
0.21.1 |
1 | 5 | 0 | 0 | single | ||
Mesh compression library, designed for rendering and speed |
2025.07 |
1 | 3 | 2 | 4 | single | ||
Concatenative command-line shell |
0.4.0 |
1 | 8 | 0 | 0 | single | ||
Caffeine Applet for the COSMIC desktop |
0-unstable-2026-06-03 |
1 | 7 | 0 | 0 | single | ||
Applet to control the brightness of external monitors |
0.0.1-unstable-2026-02-15 |
1 | 9 | 0 | 0 | single | ||
COSMIC desktop applet for TIDAL music streaming |
0.3.0 |
1 | 16 | 0 | 0 | single | ||
COSMIC applet for displaying CPU/Memory/Network/Disk/GPU usage in the Panel or Dock |
1.2.0 → 1.3.0 |
1 | 8 | 0 | 0 | single outdated | ||
Privacy indicator applet for the COSMIC Desktop Environment |
0.1.2 → 0.2.0 |
1 | 8 | 0 | 0 | single outdated | ||
Simple system info applet for COSMIC |
0-unstable-2026-09-29 |
1 | 7 | 0 | 0 | single | ||
Simple weather info applet for COSMIC |
0-unstable-2026-09-29 |
1 | 7 | 0 | 0 | single | ||
Workspace Icons is a COSMIC panel applet that adds application icons to numbered workspaces. |
1.2.0 |
1 | 7 | 0 | 0 | single | ||
Calculator for the COSMIC Desktop Environment |
0.2.1 |
1 | 8 | 0 | 0 | single | ||
CLI for COSMIC Desktop configuration management |
1.5.0 |
1 | 6 | 0 | 0 | single | ||
Tweaking tool for the COSMIC Desktop Environment |
0.2.2 → 0.2.5 |
1 | 8 | 0 | 0 | single outdated | ||
Distributed Communication-Optimal Shuffle and Transpose Algorithm |
2.3.3 |
1 | 5 | 3 | 3 | single | ||
Common OVF Tool |
2.2.1 |
1 | 26 | 0 | 0 | single | ||
Trustworthy, encrypted, command-line TOTP/HOTP authenticator app with import functionality |
1.10.0 |
1 | 6 | 0 | 0 | single | ||
TURN server |
4.17.2 → 4.18.0 |
1 | 8 | 1 | 1 | single outdated | ||
Shell for Couchbase Server and Cloud |
1.4.0 |
1 | 7 | 0 | 0 | single | ||
Bash command line scripts to dump & restore a couchdb database |
0-unstable-2021-07-24 |
1 | 9 | 0 | 0 | single | ||
Color box to help developers and designers |
2.2.0 → 2.3.1 |
1 | 21 | 0 | 0 | single outdated | ||
Command-line tool similar to Neofetch for obtaining information about your country |
0.2.0 |
1 | 8 | 0 | 0 | single | ||
Guess the 193 U.N. recognised countries |
0-unstable-2025-05-03 |
1 | 12 | 0 | 0 | single | ||
Monospaced font designed specifically for screenplays |
0-unstable-2019-11-20 → 1.203 |
1 | 3 | 1 | 1 | single outdated | ||
CLI for downloading Coursera.org videos and naming them |
0.11.5 |
1 | 28 | 0 | 0 | single | ||
Coverity Scan build tools |
2022.12.2 |
1 | 10 | 0 | 0 | single unfree | ||
A stacking window manager using river as the compositor |
1 | 19 | 0 | 0 | single | |||
Safe and secure chat client |
0.4.1-unstable-2023-09-21 |
1 | 10 | 0 | 0 | single | ||
CLI client for Coze, a cryptographic JSON messaging specification |
0.0.3 → 1.1.43 |
1 | 3 | 0 | 0 | single outdated | ||
Bitmap programming font optimized for coziness |
1.30.0 |
1 | 4 | 0 | 0 | single | ||
Cozy Drive is a synchronization tool for your files and folders with Cozy Cloud |
3.42.0 |
1 | 2 | 0 | 0 | single | ||
Quantum chemistry and solid state physics program |
2026.2 |
1 | 30 | 0 | 0 | single | ||
Emulates an old-style "code page 437" / "IBM-PC" character
set terminal on a modern UTF-8 terminal emulator
|
0.6 |
1 | 2 | 0 | 0 | single |