41,932 packages · page 328 of 420
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Universal multiplexer with a typed SDK |
0.10.0 |
1 | 6 | 0 | 0 | single | ||
Fast live viewer for reMarkable 1 and 2 |
3.1.4 |
1 | 23 | 0 | 0 | single | ||
trashcan/recycle bin utility for the command line |
0.10.0 |
1 | 9 | 0 | 0 | single | ||
Random strings that are easy to recognize |
1.0.0 |
1 | 3 | 0 | 0 | single | ||
Random number generator daemon |
6.17 |
1 | 12 | 0 | 0 | single | ||
Python library and command-line tool for loading multi-file RELAX NG schemas from arbitrary URLs, and flattening them into a single RELAX NG schema |
1.0.0 |
1 | 23 | 0 | 0 | single | ||
RNS Monitoring Agent |
0.4.0 |
1 | 18 | 0 | 0 | single | ||
Recurrent neural network for audio noise reduction |
0.2 |
1 | 3 | 8 | 15 | single | ||
High performance C++ OpenPGP library, fully compliant to RFC 4880 |
0.18.1 |
1 | 13 | 0 | 0 | single | ||
Command-line tool to batch rename files and directories |
0.5.1 |
1 | 5 | 0 | 0 | single | ||
SOCKS5 tunnels over the Reticulum Network Stack |
0.1.0 |
1 | 8 | 0 | 0 | single | ||
REST + WebSocket API daemon that exposes the full Reticulum Network Stack (RNS) service over HTTP(S) and WS(S) |
0-unstable-2026-07-09 |
1 | 22 | 0 | 0 | single | ||
Compression/restoration of RINEX observation files developed by Y. Hatanaka of GSI |
4.2.0 |
1 | 7 | 0 | 0 | single | ||
High-performance PHP application server, process manager written in Go and powered with plugins |
3.1.0 |
1 | 5 | 0 | 0 | single | ||
Azure AD tooling framework |
0.0.2 |
1 | 18 | 0 | 0 | single | ||
Create full-fledged APIs for static datasets without writing a single line of code |
0.6.0 |
1 | 6 | 0 | 0 | single | ||
Query GUI for mongodb. Formerly called Robomongo |
1.4.3 → 1.4.4 |
1 | 20 | 0 | 0 | single outdated | ||
Code autoformatter for Robot Framework |
4.18.0 |
1 | 25 | 0 | 0 | single | ||
This is a variable version of Roboto intended to be a 1:1 match with the official non-variable release from Google |
3.016 |
1 | 3 | 2 | 2 | single | ||
Google Roboto Flex family of fonts |
3.200 |
1 | 3 | 0 | 0 | single | ||
Google Roboto Mono fonts |
3.001 |
1 | 3 | 0 | 0 | single | ||
Roboto family of fonts |
1.008 |
1 | 4 | 0 | 0 | single | ||
Roboto Slab Typeface by Google |
2.000 |
1 | 3 | 0 | 0 | single | ||
Bridge to robustirc.net-IRC-Network |
1.9.0 |
1 | 3 | 0 | 0 | single | ||
Roc is a toolkit for real-time audio streaming over the network |
0.4.0 |
1 | 14 | 15 | 3,325 | single | ||
Open source firmware for digital music players |
1.5.1 |
1 | 11 | 0 | 0 | single | ||
Official Desktop client for Rocket.Chat |
4.18.2 → 4.18.3 |
1 | 12 | 0 | 0 | single outdated | ||
Library that provides an embeddable, persistent key-value store for fast storage |
10.10.1 → 11.8.1 |
1 | 11 | 17 | 22 | single outdated | ||
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 |
7.10.2 |
1 | 11 | 0 | 0 | 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 |
8.3.2 |
1 | 11 | 2 | 2 | single | ||
Library that provides an embeddable, persistent key-value store for fast storage |
9.10.0 |
1 | 11 | 5 | 5 | 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 | ||
CakeML backend for Peregrine |
0.1.0 |
1 | 7 | 0 | 0 | single | ||
A framework for smart contract verification in Rocq |
1.0.1 |
1 | 9 | 0 | 0 | single | ||
Library for Representing Recursive and Impure Programs in Coq |
5.2.1 |
1 | 6 | 2 | 2 | single | ||
Support library for verified Coq parsers produced by Menhir |
20260203 |
1 | 5 | 2 | 5 | single | ||
Ordinal Numbers in Coq |
0.5.6 |
1 | 5 | 0 | 0 | single | ||
Randomized property-based testing plugin for Coq; a clone of Haskell QuickCheck |
2.1.1 |
1 | 8 | 1 | 1 | single | ||
A framework for extracting Rocq programs to Rust and Elm |
0.2.1 |
1 | 7 | 1 | 1 | 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 | 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 | ||
Coq plugin providing tactics for rewriting universally quantified equations |
9.0.0 |
1 | 5 | 1 | 1 | single | ||
Framework for session protocol reasoning in Iris |
4.5.0 |
1 | 5 | 0 | 0 | single | ||
Library for serialization to S-expressions |
0.4.1 |
1 | 6 | 1 | 2 | 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 | ||
Rocq plugin embedding ELPI |
3.5.0 |
1 | 5 | 2 | 46 | single | ||
General-purpose automated reasoning hammer tool for Coq |
1.3.3+9.1 |
1 | 5 | 0 | 0 | single | ||
Reconstruction tactics for the hammer for Coq |
1.3.3+9.1 |
1 | 5 | 1 | 1 | single | ||
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 | 6 | 15 | 23 | single | ||
Finite data structures with extensional reasoning |
0.6.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 | ||
RocqIDE user interface for the Rocq Prover |
9.1.1 |
1 | 10 | 0 | 0 | single | ||
The Rocq Prover, XML protocol server |
9.1.1 |
1 | 5 | 1 | 1 | single | ||
Rocqnavi: an HTML documentation generator for Rocq prover |
0.6.0 |
1 | 5 | 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 |