roconnor Russell O'Connor
github.com/roconnor · maintains 41 packages (41 directly), sole maintainer of 6, member of 0 teams
41 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Peer-to-peer electronic cash system |
31.1 |
2 | 18 | 0 | 0 | maintained | ||
Peer-to-peer electronic cash system |
31.1 |
2 | 14 | 1 | 1 | maintained | ||
Coq proof assistant |
9.1.1 |
4 | 7 | 78 | 85 | maintained | ||
Coq proof assistant |
8.10.2 |
4 | 9 | 0 | 0 | maintained | ||
Coq proof assistant |
8.11.2 |
4 | 9 | 0 | 0 | maintained | ||
Coq proof assistant |
8.12.2 |
4 | 9 | 0 | 0 | maintained | ||
Coq proof assistant |
8.13.2 |
4 | 9 | 0 | 0 | maintained | ||
Coq proof assistant |
8.14.1 |
4 | 6 | 0 | 0 | maintained | ||
Coq proof assistant |
8.15.2 |
4 | 6 | 0 | 0 | maintained | ||
Coq proof assistant |
8.16.1 |
4 | 6 | 0 | 0 | maintained | ||
Coq proof assistant |
8.17.1 |
4 | 6 | 0 | 0 | maintained | ||
Coq proof assistant |
8.18.0 |
4 | 6 | 0 | 0 | maintained | ||
Coq proof assistant |
8.19.2 |
4 | 6 | 0 | 0 | maintained | ||
Coq proof assistant |
8.20.1 |
4 | 5 | 1 | 8 | maintained | ||
Coq proof assistant |
8.7.2 |
4 | 5 | 0 | 0 | maintained | ||
Coq proof assistant |
8.8.2 |
4 | 5 | 0 | 0 | maintained | ||
Coq proof assistant |
8.9.1 |
4 | 5 | 0 | 0 | maintained | ||
Coq proof assistant |
9.0.1 |
4 | 7 | 0 | 0 | maintained | ||
Coq proof assistant |
9.2.0 |
4 | 10 | 1 | 1 | maintained | ||
Coq proof assistant |
9.3.0 |
4 | 10 | 0 | 0 | maintained | ||
C Library for Semidefinite Programming |
6.1.1 → 6.2.0 |
1 | 4 | 25 | 143 | single outdated | ||
Single-player fantasy game with a randomly generated adventure world |
53.16 |
5 | 4 | 0 | 0 | maintained unfree | ||
Single-player fantasy game with a randomly generated adventure world |
53.16 |
5 | 7 | 1 | 2 | maintained unfree | ||
Single-player fantasy game with a randomly generated adventure world |
0.44.12 |
5 | 4 | 0 | 0 | maintained unfree | ||
Single-player fantasy game with a randomly generated adventure world |
0.47.05 |
5 | 4 | 0 | 0 | maintained unfree | ||
Single-player fantasy game with a randomly generated adventure world |
50.15 |
5 | 4 | 0 | 0 | maintained unfree | ||
Single-player fantasy game with a randomly generated adventure world |
51.13 |
5 | 4 | 0 | 0 | maintained unfree | ||
Single-player fantasy game with a randomly generated adventure world |
52.05 |
5 | 4 | 0 | 0 | maintained unfree | ||
Elliptic Curve Method for Integer Factorization |
7.0.6 → 7.0.7 |
1 | 4 | 3 | 3 | single outdated | ||
C library implementing a suite of algorithms to factor large integers |
1056 |
1 | 5 | 0 | 0 | single | ||
Stub code generator and COM binding for Objective Caml |
1.12 → 1.13-1 |
1 | 4 | 7 | 17 | single outdated | ||
OCaml interface to GTK |
2.18.13 → 3.1.5-1 |
2 | 7 | 4 | 4 | maintained outdated | ||
Lexer generator for Unicode and OCaml |
1.2 → 1.3 |
1 | 6 | 1 | 1 | single broken outdated | ||
Software for reviewing and exploring data produced by CPAP and related machines used in the treatment of sleep apnea |
2.0.1 |
2 | 8 | 0 | 0 | maintained | ||
SAT solver with proof and core support |
965 |
2 | 2 | 2 | 40 | maintained | ||
Rocq Prover |
9.1.1 |
4 | 6 | 29 | 107 | maintained | ||
Rocq Prover |
9.0.1 |
4 | 6 | 1 | 1 | maintained | ||
Rocq Prover |
9.2.0 |
4 | 9 | 1 | 2 | maintained | ||
Rocq Prover |
9.3.0 |
4 | 9 | 1 | 1 | maintained | ||
Online backups for the truly paranoid |
1.0.41 |
2 | 7 | 1 | 1 | maintained unfree | ||
WYSIWYW editing platform with special features for scientists |
2.1.5 |
1 | 21 | 0 | 0 | single |