numinit Morgan Jones
github.com/numinit · maintains 690 packages (76 directly), sole maintainer of 23, member of 1 teams
690 packages · page 1 of 7
| Package ▼ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
TPTP wrapper for Z3 prover |
5.1.0 |
3 | 4 | 0 | 0 | maintained | ||
High-performance theorem prover and SMT solver |
5.1.0 |
2 | 8 | 41 | 114 | maintained | ||
Thin wrapper around libyubihsm providing both an interactive and command-line interface to a YubiHSM |
2.8.0 |
2 | 15 | 2 | 2 | maintained | ||
Tool to easily set up a YubiHSM device |
2.3.3 |
1 | 7 | 0 | 0 | single | ||
Performs the communication between the YubiHSM 2 and applications that use it |
3.0.7 |
2 | 6 | 1 | 3 | maintained | ||
Persistent remote applications for X |
6.5.4 |
2 | 93 | 0 | 0 | maintained | ||
Persistent remote applications for X |
6.5.4 |
2 | 90 | 1 | 1 | maintained | ||
Weak-signal digital communication modes for amateur radio |
3.0.2 |
2 | 21 | 1 | 1 | maintained | ||
Set of system utilities for Linux |
2.42.3 → 2.42.4 |
4 | 14 | 353 | 15,485 | maintained outdated | ||
Tool to unpack Sony ELF kernel format image variants |
2022.11.09 |
6 | 2 | 1 | 4 | maintained | ||
TPM-based encryption keys for ZFS datasets. |
0.4.1 |
1 | 12 | 0 | 0 | single | ||
PKCS#11 interface for TPM2 hardware Enables fapi by default, as if TPM2_PKCS11_BACKEND defaulted to 'fapi'. |
1.10.1 |
1 | 26 | 0 | 0 | single | ||
PKCS#11 interface for TPM2 hardware Disables FAPI support, as if TPM2_PKCS11_BACKEND were always set to 'esysdb'. |
1.10.1 |
1 | 26 | 0 | 0 | single | ||
PKCS#11 interface for TPM2 hardware |
1.10.1 |
1 | 26 | 0 | 0 | single | ||
PKCS#11 interface for TPM2 hardware |
1.10.1 |
1 | 26 | 0 | 0 | single | ||
Simple Theorem Prover |
2.4.1 |
2 | 17 | 1 | 1 | maintained | ||
Tool to copy SSH public keys to a remote machine |
10.5p1 → 10.6p1 |
7 | 3 | 0 | 0 | maintained outdated | ||
Tool to dump Sony Xperia boot images |
0-unstable-2019-11-03 |
6 | 2 | 1 | 4 | maintained | ||
Vendor and platform neutral SDR support library |
0.8.1-unstable-2026-01-02 |
2 | 17 | 14 | 18 | maintained | ||
Vendor and platform neutral SDR support library |
0.8.1-unstable-2026-01-02 |
2 | 7 | 15 | 49 | maintained | ||
SoapySDR plugin for amateur radio and audio devices |
0.1.1 |
1 | 11 | 4 | 23 | single | ||
SELinux Policy Analysis Tools |
4.7.1 |
2 | 20 | 2 | 2 | maintained | ||
SELinux policy core utilities (packaging additions) |
3.11 |
2 | 3 | 1 | 1 | maintained | ||
SELinux sandbox utility |
3.11 |
2 | 19 | 0 | 0 | maintained | ||
SELinux Reference Policy v2 |
2.20250923 |
2 | 8 | 0 | 0 | maintained | ||
SELinux policy core utilities written in Python |
3.10 → 3.11 |
2 | 10 | 1 | 1 | maintained outdated | ||
Safe and secure software updates for embedded Linux |
1.15.2 |
2 | 14 | 0 | 0 | maintained | ||
Tool for flashing images to Qualcomm devices |
2.8 |
3 | 12 | 0 | 0 | maintained | ||
Qualcomm bootctl HAL for Linux |
0.2.2 |
1 | 5 | 0 | 0 | single | ||
Vendor and platform neutral SDR support library |
0.8.1-unstable-2026-01-02 |
2 | 20 | 0 | 0 | maintained | ||
Vendor and platform neutral SDR support library |
0.8.1-unstable-2026-01-02 |
2 | 10 | 0 | 0 | maintained | ||
SELinux core library |
3.10 → 3.11 |
2 | 10 | 2 | 2 | maintained outdated | ||
High-performance theorem prover and SMT solver |
5.1.0 |
2 | 8 | 6 | 13 | maintained | ||
Simple Theorem Prover |
2.4.1 |
2 | 17 | 0 | 0 | maintained | ||
Vendor and platform neutral SDR support library |
0.8.1-unstable-2026-01-02 |
2 | 20 | 0 | 0 | maintained | ||
Vendor and platform neutral SDR support library |
0.8.1-unstable-2026-01-02 |
2 | 10 | 0 | 0 | maintained | ||
SELinux core library |
3.10 → 3.11 |
2 | 10 | 0 | 0 | maintained outdated | ||
Object-oriented, actor-model, capabilities-secure, high performance programming language |
0.68.0 → 0.74.0 |
3 | 13 | 1 | 1 | maintained outdated | ||
Corral is a dependency management tool for ponylang (ponyc) |
0.9.2 |
2 | 3 | 0 | 0 | maintained | ||
SELinux policy core utilities |
3.11 |
2 | 8 | 2 | 2 | maintained | ||
OpenSSL 3.x provider to access hardware or software tokens using the PKCS#11 Cryptographic Token Interface |
1.2.0 → 1.3.0 |
1 | 15 | 0 | 0 | single outdated | ||
Implementation of the SSH protocol |
10.5p1 → 10.6p1 |
7 | 13 | 0 | 0 | maintained outdated | ||
Implementation of the SSH protocol |
10.5p1 |
7 | 13 | 0 | 0 | maintained | ||
Implementation of the SSH protocol |
10.5p1 → 10.6p1 |
7 | 12 | 151 | 2,866 | maintained outdated | ||
Z3 Theorem Prover (OCaml API) |
5.1.0 |
2 | 4 | 4 | 7 | maintained | ||
Overlay networking tool with a focus on performance, simplicity and security |
1.10.3 → 1.11.2 |
2 | 3 | 1 | 1 | maintained outdated | ||
Remote CLI tool for Mattermost |
11.7.11 → 11.11.1 |
3 | 3 | 0 | 0 | maintained outdated | ||
Tool to write MTK headers for split zImages and ramdisks |
0-unstable-2022-11-10 |
6 | 2 | 1 | 4 | maintained | ||
C rewrite of Android's boot image tools |
2022.11.09-unstable-2025-03-10 |
6 | 2 | 1 | 4 | maintained | ||
Tool to pack and unpack Intel Android boot files |
0-unstable-2022-11-10 |
6 | 2 | 1 | 4 | maintained | ||
Open source platform for secure collaboration across the entire software development lifecycle |
11.11.0 → 11.11.1 |
3 | 2 | 0 | 0 | maintained outdated | ||
Open source platform for secure collaboration across the entire software development lifecycle |
11.7.11 |
3 | 2 | 0 | 0 | maintained | ||
Minimal IRC server bridge to Mattermost |
0.33.0 |
1 | 3 | 0 | 0 | single | ||
Tool for custom firmware on AT&T/Verizon Samsung and LG devices |
0-unstable-2016-06-27 |
6 | 2 | 1 | 4 | maintained | ||
Set of system utilities for Linux |
2.42.3 → 2.42.4 |
4 | 8 | 527 | 75,201 | maintained outdated | ||
SELinux binary policy manipulation library |
3.11 |
2 | 3 | 188 | 23,119 | maintained | ||
Policy management tools for SELinux |
3.11 |
2 | 11 | 2 | 4 | maintained | ||
SELinux core library |
3.10 → 3.11 |
2 | 6 | 215 | 23,114 | maintained outdated | ||
A PKCS#11 soft token written in Rust. |
1.5.0 → 1.5.3 |
1 | 10 | 1 | 1 | single outdated | ||
Symbolic virtual machine built on top of LLVM |
3.2 |
1 | 12 | 0 | 0 | single broken | ||
Wireless network sniffer |
2025-09-R1 |
1 | 21 | 0 | 0 | single | ||
Open source GUI replacement for the Java command-line utilities keytool and jarsigner |
5.7.0 |
1 | 5 | 0 | 0 | single | ||
Storage load analysis tool for OpenZFS |
2.0.1 |
1 | 4 | 0 | 0 | single | ||
ChromeOS firmware utility |
0-release-R145-16552.B |
6 | 5 | 1 | 4 | maintained | ||
ML-like functional programming language aimed at program verification |
2026.03.24 |
1 | 8 | 0 | 0 | single | ||
Program for packing and unpacking boot images from Sony mobile devices |
0-unstable-2022-11-10 |
6 | 2 | 1 | 4 | maintained | ||
Simple shell based CA utility |
3.2.7 |
1 | 4 | 0 | 0 | single | ||
Tool to manage dwarves in a running game of Dwarf Fortress |
42.1.21 |
2 | 6 | 1 | 1 | maintained | ||
Plays sound based on Dwarf Fortress game logs |
2016-1_196 |
1 | 3 | 0 | 0 | single | ||
Multi-platform, open source, java-based legends viewer for dwarf fortress |
1.19.2 |
2 | 3 | 1 | 1 | maintained | ||
Single-player fantasy game with a randomly generated adventure world |
52.05 |
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 |
50.15 |
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 |
0.44.12 |
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 |
53.16 |
5 | 4 | 0 | 0 | maintained unfree | ||
Tool to write the DHTB header for Samsung Spreadtrum devices |
0-unstable-2022-11-10 |
6 | 2 | 1 | 4 | maintained | ||
Opinionated wrapper for Dwarf Fortress |
53.16 |
2 | 5 | 0 | 0 | maintained | ||
LUKS for dm-crypt |
2.8.8 |
1 | 9 | 39 | 4,293 | single | ||
SELinux policy compiler |
3.11 |
2 | 5 | 2 | 4 | maintained | ||
Sort files by binary similarity |
0.4-1 |
1 | 2 | 0 | 0 | single | ||
Open Source ASN.1 Compiler |
0.9.29 |
1 | 5 | 0 | 0 | single | ||
Multiplayer networked arcade racing game in 3D similar to Tron |
0.2.9.3.0 |
1 | 10 | 0 | 0 | single | ||
Multiplayer networked arcade racing game in 3D similar to Tron |
0.2.9.3.0 |
1 | 18 | 0 | 0 | single | ||
Command line tool to sign and verify Android APKs |
35.0.6 → 37.0.0 |
7 | 4 | 5 | 8 | maintained outdated | ||
Android SDK tools, packaged in Nixpkgs |
c9083822a6670d26 |
5 | 2 | 0 | 0 | team-only unfree | ||
Android SDK tools, packaged in Nixpkgs |
26.1.1 |
5 | 16 | 0 | 0 | team-only unfree | ||
Android SDK tools, packaged in Nixpkgs |
37.1.11 |
5 | 41 | 0 | 0 | team-only unfree | ||
Android SDK tools, packaged in Nixpkgs |
26.1.1 |
5 | 17 | 0 | 0 | team-only unfree | ||
Android SDK tools, packaged in Nixpkgs |
37.0.1 |
5 | 9 | 4 | 4 | team-only unfree | ||
Android SDK tools, packaged in Nixpkgs |
29.0.14206865 |
5 | 19 | 0 | 0 | team-only unfree | ||
Android SDK tools, packaged in Nixpkgs |
37.1.11 |
5 | 41 | 1 | 1 | team-only unfree | ||
Android SDK tools, packaged in Nixpkgs |
37.1-google_apis_ps16k-x86_64 |
5 | 2 | 0 | 0 | team-only unfree | ||
Android SDK tools, packaged in Nixpkgs |
37.1-google_apis_ps16k-arm64-v8a |
5 | 2 | 0 | 0 | team-only unfree | ||
Android SDK tools, packaged in Nixpkgs |
37.1-google_apis_playstore_ps16k-x86_64 |
5 | 2 | 0 | 0 | team-only unfree | ||
Android SDK tools, packaged in Nixpkgs |
37.1-google_apis_playstore_ps16k-arm64-v8a |
5 | 2 | 0 | 0 | team-only unfree | ||
Android SDK tools, packaged in Nixpkgs |
37.0-google_apis_ps16k-x86_64 |
5 | 2 | 0 | 0 | team-only unfree | ||
Android SDK tools, packaged in Nixpkgs |
37.0-google_apis_ps16k-arm64-v8a |
5 | 2 | 0 | 0 | team-only unfree | ||
Android SDK tools, packaged in Nixpkgs |
37.0-google_apis_playstore_ps16k-x86_64 |
5 | 2 | 0 | 0 | team-only unfree |