thoughtpolice Austin Seipp
github.com/thoughtpolice · maintains 332 packages (302 directly), sole maintainer of 115, member of 1 teams
332 packages · page 3 of 4
| Package ▼ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Minecraft Server |
1.11.2 |
4 | 5 | 0 | 0 | maintained unfree | ||
Minecraft Server |
1.10.2 |
4 | 5 | 0 | 0 | maintained unfree | ||
Minecraft Server |
26.3 |
4 | 5 | 0 | 0 | maintained unfree | ||
Compact, fast, general-purpose memory allocator |
3.5.3 → 3.5.4 |
2 | 4 | 20 | 1,012 | maintained outdated | ||
C++ Core Guideline support library |
4.2.2 → 5.0.1 |
2 | 5 | 11 | 156 | maintained outdated | ||
Business Intelligence and Embedded Analytics tool |
0.63.5 → 0.64.1 |
2 | 4 | 0 | 0 | maintained outdated | ||
Redis and Memcached traffic generation and benchmarking tool |
2.5.2 |
5 | 7 | 0 | 0 | maintained | ||
Mutation-based coverage testing for hardware designs, with Yosys |
2020.08.03 |
1 | 3 | 0 | 0 | single | ||
Enhanced, drop-in replacement for MySQL |
11.8.8 → 13.0.2 |
4 | 35 | 0 | 0 | maintained outdated | ||
Enhanced, drop-in replacement for MySQL |
10.6.27 → 13.0.2 |
4 | 34 | 0 | 0 | maintained outdated | ||
Enhanced, drop-in replacement for MySQL |
10.11.18 → 13.0.2 |
4 | 35 | 0 | 0 | maintained outdated | ||
Enhanced, drop-in replacement for MySQL |
11.4.12 → 13.0.2 |
4 | 35 | 1 | 1 | maintained outdated | ||
Enhanced, drop-in replacement for MySQL |
11.4.12 → 13.0.2 |
4 | 35 | 18 | 54 | maintained outdated | ||
VLSI layout tool written in Tcl |
8.3.681 → 8.3.685 |
1 | 12 | 1 | 1 | single outdated | ||
High-performance JIT compiler for Lua 5.1 |
2.1-20260824 |
3 | 3 | 10 | 11 | maintained | ||
High-performance JIT compiler for Lua 5.1 |
2.0.1774896119 |
3 | 3 | 1 | 1 | maintained | ||
High-performance JIT compiler for Lua 5.1 |
2.1.1785763465 |
3 | 3 | 303 | 777 | maintained | ||
Fast translation from LTL formulae to Buchi automata |
1.3 |
1 | 2 | 0 | 0 | single | ||
Userspace locking validation tool built on the Linux kernel |
5.0.21 |
1 | 6 | 0 | 0 | single | ||
The Linux kernel (with patches: bridge-stp-helper, request-key-helper) |
7.3-rc6 |
8 | 25 | 0 | 0 | maintained | ||
The Linux kernel (with patches: bridge-stp-helper, request-key-helper) |
7.2.9 |
8 | 25 | 126 | 126 | maintained | ||
The Linux kernel |
6.18.55 |
8 | 23 | 0 | 0 | maintained | ||
The Linux kernel (with patches: bridge-stp-helper, request-key-helper) |
6.6.158 |
8 | 23 | 125 | 125 | maintained | ||
The Linux kernel (with patches: bridge-stp-helper, request-key-helper) |
6.12.112 |
8 | 25 | 126 | 126 | maintained | ||
The Linux kernel (with patches: bridge-stp-helper, request-key-helper, c23-compat-libbpf) |
6.1.189 |
8 | 23 | 125 | 125 | maintained | ||
The Linux kernel (with patches: bridge-stp-helper, request-key-helper) |
6.18.55 |
8 | 25 | 127 | 128 | maintained | ||
Fast SAT solver |
1.0.0 → 180517 |
1 | 3 | 1 | 21 | single outdated | ||
Userspace library for the Linux io_uring API |
2.14 → 2.15 |
2 | 2 | 64 | 2,053 | maintained outdated | ||
High level library for the Linux Kernel seccomp filter |
2.6.1 |
1 | 6 | 104 | 5,476 | single | ||
Userspace library for the Linux Restartable Sequence API |
0.1.0pre71_170f840 |
1 | 4 | 0 | 0 | single | ||
Free TLS/SSL implementation |
4.2.1 |
3 | 4 | 0 | 0 | maintained | ||
Free TLS/SSL implementation |
4.3.2 → 4.3.3 |
3 | 4 | 17 | 17 | maintained outdated | ||
Free EDA software to develop printed circuit boards |
2.1.1 |
2 | 11 | 0 | 0 | maintained | ||
C application programmer's interface to PostgreSQL |
18.6 |
3 | 12 | 127 | 4,518 | team-only | ||
Tools for managing the Linux Non-Volatile Memory Device sub-system |
83 → 85 |
1 | 14 | 3 | 125 | single outdated | ||
C API for the NATS messaging system |
3.13.0 |
1 | 7 | 0 | 0 | single | ||
SQL / SQLI tokenizer parser analyzer |
3.10.0 → 4.0.0 |
1 | 3 | 0 | 0 | single outdated | ||
API for interfacing with the Linux Industrial I/O Subsystem |
0.26 → 1.0.0 |
1 | 13 | 12 | 37 | single outdated | ||
DFA regular expression library & friends |
0.1pre2987_087e3389 |
1 | 5 | 0 | 0 | single | ||
High-performance concurrency research library |
0.7.2 |
2 | 2 | 6 | 6 | maintained | ||
Library and tools to manage Linux cgroups |
3.2.0 |
1 | 7 | 1 | 1 | single | ||
Library for loading eBPF programs and reading and manipulating eBPF objects from user-space |
1.7.0 → 1.8.0 |
4 | 5 | 64 | 16,732 | maintained outdated | ||
Mandatory access control system - core library |
5.0.2 |
3 | 16 | 106 | 20,083 | maintained | ||
Automatic and interactive theorem prover (version with HoTT support) |
2018-10-01 |
1 | 9 | 0 | 0 | single | ||
Automatic and interactive theorem prover |
3.51.0 → 4.34.1 |
1 | 4 | 0 | 0 | single outdated | ||
Columnar tick database and time-series language |
0-unstable-2022-07-24 |
1 | 6 | 0 | 0 | single | ||
Git-compatible DVCS that is both simple and powerful |
0.46.0 |
4 | 10 | 8 | 9 | maintained | ||
Measure JVM application stalls and GC pauses |
2.0.10 |
1 | 2 | 0 | 0 | single | ||
Icarus Verilog compiler |
13.0 |
1 | 13 | 11 | 33 | single | ||
Intel 'Single Program, Multiple Data' Compiler, a vectorised language |
1.31.0 |
3 | 14 | 4 | 69 | maintained | ||
Documentation and tools for Lattice iCE40 FPGAs |
0-unstable-2025-06-03 |
2 | 5 | 4 | 7 | maintained | ||
Command-line benchmarking tool |
1.21.0 |
2 | 7 | 0 | 0 | maintained | ||
Interactive theorem prover based on Higher-Order Logic |
0-unstable-2026-09-02 → 20231021 |
3 | 12 | 0 | 0 | maintained outdated | ||
Optimized HTTP/1.x, HTTP/2, HTTP/3 server |
2.3.0-rolling-2026-09-10 → 20261006 |
2 | 18 | 0 | 0 | maintained outdated | ||
VCD/Waveform viewer for Unix and Win32 |
3.3.128 |
3 | 12 | 2 | 25 | maintained | ||
grsecurity RBAC administration and policy analysis utility |
3.1-202111052217 |
1 | 6 | 0 | 0 | single | ||
Software for Glasgow, a digital interface multitool |
0-unstable-2025-07-25 |
2 | 31 | 0 | 0 | maintained | ||
Finely-grained git repository hosting |
3.6.15 |
3 | 7 | 0 | 0 | maintained | ||
VHDL 2008/93/87 simulator |
6.0.0 |
3 | 6 | 0 | 0 | maintained | ||
VHDL 2008/93/87 simulator |
6.0.0 |
3 | 8 | 0 | 0 | maintained | ||
VHDL 2008/93/87 simulator |
6.0.0 |
3 | 12 | 0 | 0 | maintained | ||
VHDL 2008/93/87 simulator |
6.0.0 |
3 | 5 | 5 | 5 | maintained | ||
API for GeoIP/Geolocation databases |
1.6.12 |
2 | 4 | 1 | 2 | maintained | ||
API for GeoIP/Geolocation databases |
1.6.12 |
2 | 3 | 15 | 34 | maintained | ||
Optimizing Scheme to C compiler |
4.9.8-unstable-2026-08-15 |
3 | 7 | 0 | 0 | maintained | ||
Optimizing Scheme to C compiler |
4.9.5 → 4.9.8 |
3 | 7 | 0 | 0 | maintained outdated | ||
Functional CLI language |
4.0.1.1 → 10.2.3 |
2 | 8 | 0 | 0 | maintained outdated | ||
Extensible and collaborative platform dedicated to source-code analysis of C software |
33.0 |
2 | 28 | 2 | 4 | maintained | ||
Open source, distributed, transactional key-value store |
7.3.68 → 7.3.77 |
2 | 15 | 2 | 2 | maintained outdated | ||
Secure, fast, minimal micro-container virtualization |
1.16.1 → 1.17.0 |
4 | 10 | 1 | 1 | maintained outdated | ||
Simple tool for finding duplicated extents and submitting them for deduplication |
0.15.2 |
1 | 11 | 0 | 0 | single | ||
Duo Security Unix login integration |
2.2.3 → 2.3.0 |
1 | 5 | 0 | 0 | single outdated | ||
Simplified multi-platform executable deployment |
0.5.7 → 0.5.9 |
1 | 5 | 0 | 0 | single outdated | ||
3-pane diff editor |
0.6.1 |
1 | 5 | 0 | 0 | single | ||
Event collector for the DataDog analysis service
-- v6 new golang implementation.
|
7.75.0 → 7.75.2 |
1 | 6 | 0 | 0 | single outdated | ||
High-performance theorem prover and SMT solver |
1.8 |
2 | 15 | 3 | 22 | maintained | ||
Cryptographic protocol verifier in the computational model |
2.12 |
1 | 3 | 0 | 0 | single | ||
Userspace checkpoint/restore for Linux |
4.1.1 → 4.2.1 |
1 | 27 | 1 | 6 | single outdated | ||
Coverity Scan build tools |
2022.12.2 |
1 | 10 | 0 | 0 | single unfree | ||
Coq proof assistant |
9.3.0 |
4 | 10 | 0 | 0 | maintained | ||
Coq proof assistant |
9.2.0 |
4 | 10 | 1 | 1 | maintained | ||
Coq proof assistant |
9.0.1 |
4 | 7 | 0 | 0 | maintained | ||
Coq proof assistant |
8.9.1 |
4 | 5 | 0 | 0 | maintained | ||
Coq proof assistant |
8.8.2 |
4 | 5 | 0 | 0 | maintained | ||
Coq proof assistant |
8.7.2 |
4 | 5 | 0 | 0 | maintained | ||
Coq proof assistant |
8.20.1 |
4 | 5 | 1 | 8 | maintained | ||
Coq proof assistant |
8.19.2 |
4 | 6 | 0 | 0 | maintained | ||
Coq proof assistant |
8.18.0 |
4 | 6 | 0 | 0 | maintained | ||
Coq proof assistant |
8.17.1 |
4 | 6 | 0 | 0 | maintained | ||
Coq proof assistant |
8.16.1 |
4 | 6 | 0 | 0 | maintained | ||
Coq proof assistant |
8.15.2 |
4 | 6 | 0 | 0 | maintained | ||
Coq proof assistant |
8.14.1 |
4 | 6 | 0 | 0 | maintained | ||
Coq proof assistant |
8.13.2 |
4 | 9 | 0 | 0 | maintained | ||
Coq proof assistant |
8.12.2 |
4 | 9 | 0 | 0 | maintained | ||
Coq proof assistant |
8.11.2 |
4 | 9 | 0 | 0 | maintained | ||
Coq proof assistant |
8.10.2 |
4 | 9 | 0 | 0 | maintained | ||
Formally verified C compiler |
3.18 |
3 | 9 | 3 | 3 | maintained unfree | ||
Coq proof assistant |
9.1.1 |
4 | 7 | 78 | 85 | maintained | ||
Formally verified C compiler |
3.18 |
3 | 11 | 0 | 0 | maintained unfree | ||
Scalable, survivable, strongly-consistent SQL database |
23.1.14 → 26.2.7 |
2 | 2 | 0 | 0 | maintained unfree outdated |