41,893 packages · page 92 of 419
| Package ▼ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Free and Open Source Ruby toolkit for security research and development |
2.1.1 |
1 | 5 | 0 | 0 | single | ||
RON, Rusty Object Notation, Language Server |
0.1.4 |
1 | 5 | 0 | 0 | single | ||
CUPS driver for Rollo label printers |
1.8.4 |
1 | 4 | 0 | 0 | single | ||
Fast Rust-based bundler for JavaScript |
1.0.0 |
1 | 8 | 1 | 1 | single | ||
Test library for testing Ansible roles |
20161104 |
1 | 3 | 0 | 0 | single | ||
Project management tool for Roblox |
7.7.0 → 7.7.1 |
1 | 8 | 0 | 0 | single outdated | ||
Adb logcat wrapper |
0.5.0 |
1 | 8 | 0 | 0 | single | ||
Simple emoji and character picker for rofi |
6.9.0 |
1 | 21 | 0 | 0 | single | ||
Rofi-based interface to enable VPN connections with NetworkManager |
0.2.0 |
1 | 5 | 0 | 0 | single | ||
Plugin for rofi that emulates top behaviour |
0-unstable-2017-10-16 |
1 | 10 | 0 | 0 | single | ||
Control your systemd units using rofi |
1.1.0 |
1 | 9 | 0 | 0 | single | ||
Use rofi to perform various types of screenshots and screen captures |
2024-09-27 |
1 | 12 | 0 | 0 | single | ||
Rofi frontend for Bitwarden |
1.7.0 |
1 | 19 | 0 | 0 | single | ||
Rofi frontend for Bitwarden |
1.7.0 |
1 | 19 | 0 | 0 | single | ||
Rofi frontend for Bitwarden |
1.7.0 |
1 | 17 | 0 | 0 | single | ||
Rofi-based interface to select source/sink (aka input/output) with PulseAudio |
0.2.0 |
1 | 5 | 0 | 0 | single | ||
Shows a Power/Lock menu with Rofi |
3.1.0 |
1 | 2 | 0 | 0 | single | ||
Launch your Obsidian vaults from the comfort of rofi |
0.1.5 |
1 | 5 | 0 | 0 | single | ||
Manage wifi and ethernet with rofi |
0-unstable-2024-09-03 |
1 | 8 | 0 | 0 | single | ||
Nerd font icon selector plugin for rofi |
0.0.9 |
1 | 9 | 0 | 0 | single | ||
Rofi menu for interacting with MPD written in Python |
2.2.1 |
1 | 19 | 0 | 0 | single | ||
Rofi plugin which adds a mode that will list available games for launch along with their box art |
1.19.0 |
1 | 10 | 0 | 0 | single | ||
Do live calculations in rofi |
2.5.1 |
1 | 11 | 0 | 0 | single | ||
Plugin for rofi that emulates blezz behaviour |
2023-03-27 |
1 | 6 | 0 | 0 | single | ||
Over 1500 AppArmor profiles aiming to confine most linux processes |
0-unstable-2025-10-25 |
1 | 2 | 0 | 0 | single | ||
Wasm mechanisation in Coq/Rocq |
2.2.1 |
1 | 10 | 0 | 0 | single | ||
Language server for the vsrocq vscode/codium extension |
2.4.3 |
1 | 7 | 0 | 0 | single | ||
Verified Extraction from Rocq to OCaml. Including a bootstrapped extraction plugin |
1.0.0-9.1 |
1 | 8 | 0 | 0 | single | ||
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq |
0.3.1 |
1 | 11 | 0 | 0 | single | ||
Purely functional IO for Coq |
1.11.0 |
1 | 6 | 1 | 2 | single | ||
Rocqnavi: an HTML documentation generator for Rocq prover |
0.5.0 |
1 | 4 | 0 | 0 | single | ||
Relation algebra library for Rocq |
1.8.1 |
1 | 7 | 0 | 0 | single | ||
Regular Language Representations in Coq |
1.2.2 |
1 | 6 | 0 | 0 | single | ||
Total parser combinators in Rocq |
0.3.1 |
1 | 5 | 1 | 1 | single | ||
Library for serialization to S-expressions |
0.2.0 |
1 | 7 | 1 | 1 | single | ||
Formal proof of the Odd Order Theorem |
2.4.0 |
1 | 5 | 0 | 0 | single | ||
1.5.1-9.1 |
1 | 7 | 2 | 20 | single | |||
1.5.1-9.1 |
1 | 8 | 1 | 1 | single | |||
1.5.1-9.1 |
1 | 8 | 6 | 15 | single | |||
1.5.1-9.1 |
1 | 9 | 4 | 13 | single | |||
1.5.1-9.1 |
1 | 10 | 1 | 1 | single | |||
1.5.1-9.1 |
1 | 8 | 2 | 12 | single | |||
1.5.1-9.1 |
1 | 10 | 1 | 1 | single | |||
1.5.1-9.1 |
1 | 8 | 3 | 15 | single | |||
1.5.1-9.1 |
1 | 10 | 3 | 3 | single | |||
1.5.1-9.1 |
1 | 10 | 7 | 10 | single | |||
1.5.1-9.1 |
1 | 8 | 2 | 18 | single | |||
1.5.1-9.1 |
1 | 11 | 0 | 0 | single | |||
Micromega tactics for Mathematical Components |
1.7.0+2.4+9.0 |
1 | 8 | 1 | 4 | single | ||
Yet Another Coq Library on Machine Words |
3.5 |
1 | 9 | 2 | 2 | single | ||
Analysis library compatible with Mathematical Components |
1.16.0 |
1 | 7 | 3 | 4 | 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 | 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 | 8 | 1 | 1 | single | ||
Analysis library compatible with Mathematical Components |
1.16.0 |
1 | 9 | 3 | 4 | single | ||
Ring and field tactics for Mathematical Components |
1.2.7 |
1 | 8 | 3 | 3 | 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 | ||
Library of formalized graph theory results in Coq |
0.9.7 |
1 | 10 | 0 | 0 | single | ||
Implementation of books from Bourbaki's Elements of Mathematics in Coq |
2.4 |
1 | 8 | 0 | 0 | single | ||
Formal proof of the Four Color Theorem |
1.4.3 |
1 | 7 | 1 | 1 | single | ||
Floating-point formalization for the Rocq system |
4.2.2 |
1 | 7 | 5 | 7 | single | ||
Coq library of Partial Commutative Monoids |
2.2.0 |
1 | 6 | 0 | 0 | single | ||
Finite data structures with extensional reasoning |
0.6.0 |
1 | 6 | 1 | 1 | single | ||
Plugin for Coq to add dependent pattern-matching |
1.3.1+9.1 |
1 | 6 | 15 | 22 | single | ||
Build dependency graphs between Coq objects |
1.0+9.1 |
1 | 4 | 0 | 0 | single | ||
Generic instances of MathComp classes |
0.2.3 |
1 | 6 | 2 | 2 | single | ||
Coq library for tactics, basic definitions, sets, maps |
0.0.7 |
1 | 6 | 0 | 0 | single | ||
Coq library for Reals |
3.4.5 |
1 | 7 | 2 | 4 | single | ||
Library to certify primality using Pocklington certificate and Elliptic Curve Certificate |
8.20 |
1 | 5 | 0 | 0 | single | ||
Library to create Coq record update functions |
0.3.6 |
1 | 4 | 0 | 0 | single | ||
Language Server Protocol and VS Code Extension for Coq |
0.2.5+9.1 |
1 | 6 | 0 | 0 | single | ||
Reconstruction tactics for the hammer for Coq |
1.3.3+9.1 |
1 | 5 | 1 | 1 | single | ||
General-purpose automated reasoning hammer tool for Coq |
1.3.3+9.1 |
1 | 5 | 0 | 0 | single | ||
Rocq plugin embedding ELPI |
3.5.0 |
1 | 5 | 2 | 45 | single | ||
Library for serialization via S-expressions using bytestrings. Alternative to coq-ceres which uses String from standard library. |
1.0.0 |
1 | 7 | 2 | 2 | single | ||
Library for serialization to S-expressions |
0.4.1 |
1 | 6 | 1 | 2 | single | ||
Framework for session protocol reasoning in Iris |
4.5.0 |
1 | 5 | 0 | 0 | single | ||
Coq plugin providing tactics for rewriting universally quantified equations |
9.0.0 |
1 | 5 | 1 | 1 | single | ||
A framework for extracting Rocq programs to Rust and Elm |
0.2.1 |
1 | 7 | 1 | 3 | single | ||
A framework for extracting Rocq programs to Rust and Elm |
0.2.1 |
1 | 8 | 1 | 2 | single | ||
A framework for extracting Rocq programs to Rust and Elm |
0.2.1 |
1 | 7 | 1 | 3 | single | ||
A framework for extracting Rocq programs to Rust and Elm |
0.2.1 |
1 | 6 | 2 | 5 | single | ||
A framework for extracting Rocq programs to Rust and Elm |
0.2.1 |
1 | 7 | 1 | 1 | single | ||
Randomized property-based testing plugin for Coq; a clone of Haskell QuickCheck |
2.1.1 |
1 | 8 | 1 | 1 | single | ||
Ordinal Numbers in Coq |
0.5.6 |
1 | 5 | 0 | 0 | single | ||
Support library for verified Coq parsers produced by Menhir |
20260203 |
1 | 5 | 2 | 4 | single | ||
Library for Representing Recursive and Impure Programs in Coq |
5.2.1 |
1 | 6 | 2 | 2 | single | ||
A framework for smart contract verification in Rocq |
1.0.1 |
1 | 9 | 0 | 0 | single | ||
CakeML backend for Peregrine |
0.1.0 |
1 | 7 | 0 | 0 | single | ||
Esoteric programming language whose syntax is inspired by the lyrics to 80s hard rock and heavy metal songs |
2.0.31 |
1 | 17 | 0 | 0 | single | ||
Library that provides an embeddable, persistent key-value store for fast storage |
9.10.0 |
1 | 11 | 5 | 5 | single | ||
Library that provides an embeddable, persistent key-value store for fast storage |
8.3.2 |
1 | 11 | 2 | 2 | single | ||
Library that provides an embeddable, persistent key-value store for fast storage |
8.11.4 |
1 | 11 | 0 | 0 | single | ||
Library that provides an embeddable, persistent key-value store for fast storage |
7.10.2 |
1 | 11 | 0 | 0 | single | ||
Library that provides an embeddable, persistent key-value store for fast storage |
6.23.3 |
1 | 11 | 0 | 0 | single | ||
Library that provides an embeddable, persistent key-value store for fast storage |
10.10.1 → 11.8.1 |
1 | 11 | 17 | 22 | single outdated | ||
Official Desktop client for Rocket.Chat |
4.17.1 → 4.18.2 |
1 | 12 | 0 | 0 | single outdated | ||
Open source firmware for digital music players |
1.5.1 |
1 | 11 | 0 | 0 | single | ||
Roc is a toolkit for real-time audio streaming over the network |
0.4.0 |
1 | 14 | 15 | 3,323 | single |