thoughtpolice Austin Seipp
github.com/thoughtpolice · maintains 332 packages (302 directly), sole maintainer of 115, member of 1 teams
332 packages · page 4 of 4
| Package ▼ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Program to apply semantic patches to C code |
1.3.1 → 1.3.3 |
1 | 4 | 9 | 9 | single outdated | ||
Client for various Cloudflare services, including Tunnel, Access, and DNS over HTTPS |
2026.9.3 → 2026.10.0 |
7 | 3 | 0 | 0 | maintained outdated | ||
Clang Static Analyzer |
21.1.8 |
1 | 6 | 0 | 0 | single | ||
Sets your computer's clock from time servers on the Net |
4.9 |
2 | 8 | 0 | 0 | maintained | ||
Powerful and incredibly fast R6RS Scheme compiler |
10.4.1 |
2 | 10 | 373 | 375 | maintained | ||
Tool for checking security bits on executables |
3.2.0 |
2 | 3 | 0 | 0 | maintained | ||
Advanced disassembly library |
4.0.2 |
2 | 3 | 3 | 3 | maintained | ||
Advanced disassembly library |
5.0.9 |
2 | 3 | 20 | 112 | maintained | ||
Fast, hermetic, multi-language build system |
2026-08-22 → 2026.10.01 |
4 | 7 | 0 | 0 | maintained outdated | ||
Generic parser and tool package for the BTOR2 format |
0-unstable-2025-09-18 |
1 | 3 | 3 | 37 | single | ||
Efficient binary diff/patch tool |
4.3 |
1 | 3 | 1 | 1 | single | ||
High-level tracing language for Linux eBPF |
0.27.0 |
5 | 17 | 1 | 1 | maintained | ||
Debugging/program analysis tools for the eBPF subsystem |
7.2 → 7.2.9 |
1 | 11 | 25 | 4,334 | single outdated | ||
Free TLS/SSL implementation |
0.20260929.0 |
3 | 5 | 3 | 6 | maintained | ||
Extremely fast SMT solver for bit-vectors and arrays |
3.2.4 |
1 | 8 | 2 | 20 | single | ||
Portable version of NetBSD 'make' |
20260313 → 20260912 |
1 | 5 | 5 | 40 | single outdated | ||
Toolchain for the Bluespec Hardware Definition Language |
2024.07 → 2026.07.1 |
2 | 23 | 1 | 1 | maintained outdated | ||
Efficient Scheme compiler |
4.7a → 4.7b |
1 | 6 | 0 | 0 | single outdated | ||
Multi-Stage Programming extension for OCaml |
153 |
1 | 5 | 0 | 0 | single | ||
Dynamic Tracing Tools for Linux |
0.37.0 |
5 | 27 | 6 | 7 | maintained | ||
AIGER model checking for Property Directed Reachability |
2019.05.01 |
1 | 5 | 0 | 0 | single | ||
Functional programming language with dependent types |
0.4.2 |
2 | 3 | 1 | 1 | maintained | ||
Place and route tool for FPGAs |
2019.07.29 |
2 | 3 | 0 | 0 | maintained | ||
Mandatory access control system - script user-land utilities |
5.0.2 |
3 | 20 | 1 | 1 | maintained | ||
Mandatory access control system - profiles |
5.0.2 |
3 | 6 | 0 | 0 | maintained | ||
Mandatory access control system - core library |
5.0.2 |
3 | 11 | 1 | 1 | maintained | ||
Mandatory access control system - PAM service |
5.0.2 |
3 | 6 | 0 | 0 | maintained | ||
Mandatory access control system - init files |
5.0.2 |
3 | 5 | 1 | 2 | maintained | ||
Mandatory access control system - binary user-land utilities |
5.0.2 |
3 | 6 | 0 | 0 | maintained | ||
High-performance theorem prover and SMT solver |
2.6.3 → 2.6.4 |
1 | 9 | 1 | 1 | single unfree outdated | ||
And-Inverter Graph (AIG) utilities |
1.9.20 |
1 | 4 | 3 | 38 | single | ||
Tool for sequential logic synthesis and formal verification |
0.62 |
2 | 4 | 3 | 21 | maintained |