thoughtpolice Austin Seipp
github.com/thoughtpolice · maintains 332 packages (302 directly), sole maintainer of 115, member of 1 teams
332 packages · page 1 of 4
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Tool for sequential logic synthesis and formal verification |
0.62 |
2 | 4 | 3 | 21 | maintained | ||
And-Inverter Graph (AIG) utilities |
1.9.20 |
1 | 4 | 3 | 38 | single | ||
High-performance theorem prover and SMT solver |
2.6.3 → 2.6.4 |
1 | 9 | 1 | 1 | single unfree outdated | ||
Mandatory access control system - binary user-land utilities |
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 - PAM service |
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 - profiles |
5.0.2 |
3 | 6 | 0 | 0 | maintained | ||
Mandatory access control system - script user-land utilities |
5.0.2 |
3 | 20 | 1 | 1 | maintained | ||
Place and route tool for FPGAs |
2019.07.29 |
2 | 3 | 0 | 0 | maintained | ||
Functional programming language with dependent types |
0.4.2 |
2 | 3 | 1 | 1 | maintained | ||
AIGER model checking for Property Directed Reachability |
2019.05.01 |
1 | 5 | 0 | 0 | single | ||
Dynamic Tracing Tools for Linux |
0.37.0 |
5 | 27 | 6 | 7 | maintained | ||
Multi-Stage Programming extension for OCaml |
153 |
1 | 5 | 0 | 0 | single | ||
Efficient Scheme compiler |
4.7a → 4.7b |
1 | 6 | 0 | 0 | single outdated | ||
Toolchain for the Bluespec Hardware Definition Language |
2024.07 → 2026.07.1 |
2 | 23 | 1 | 1 | maintained outdated | ||
Portable version of NetBSD 'make' |
20260313 → 20260912 |
1 | 5 | 5 | 40 | single outdated | ||
Extremely fast SMT solver for bit-vectors and arrays |
3.2.4 |
1 | 8 | 2 | 20 | single | ||
Free TLS/SSL implementation |
0.20260929.0 |
3 | 5 | 3 | 6 | maintained | ||
Debugging/program analysis tools for the eBPF subsystem |
7.2 → 7.2.9 |
1 | 11 | 25 | 4,341 | single outdated | ||
High-level tracing language for Linux eBPF |
0.27.0 |
5 | 17 | 1 | 1 | maintained | ||
Efficient binary diff/patch tool |
4.3 |
1 | 3 | 1 | 1 | single | ||
Generic parser and tool package for the BTOR2 format |
0-unstable-2025-09-18 |
1 | 3 | 3 | 37 | single | ||
Fast, hermetic, multi-language build system |
2026-08-22 → 2026.10.01 |
4 | 7 | 0 | 0 | maintained outdated | ||
Advanced disassembly library |
5.0.9 |
2 | 3 | 20 | 112 | maintained | ||
Advanced disassembly library |
4.0.2 |
2 | 3 | 3 | 3 | maintained | ||
Tool for checking security bits on executables |
3.2.0 |
2 | 3 | 0 | 0 | maintained | ||
Powerful and incredibly fast R6RS Scheme compiler |
10.4.1 |
2 | 10 | 373 | 375 | maintained | ||
Sets your computer's clock from time servers on the Net |
4.9 |
2 | 8 | 0 | 0 | maintained | ||
Clang Static Analyzer |
21.1.8 |
1 | 6 | 0 | 0 | single | ||
Client for various Cloudflare services, including Tunnel, Access, and DNS over HTTPS |
2026.9.3 → 2026.10.0 |
7 | 3 | 0 | 0 | maintained outdated | ||
Program to apply semantic patches to C code |
1.3.1 → 1.3.3 |
1 | 4 | 9 | 9 | single outdated | ||
Scalable, survivable, strongly-consistent SQL database |
23.1.14 → 26.2.7 |
2 | 2 | 0 | 0 | maintained unfree outdated | ||
Formally verified C compiler |
3.18 |
3 | 11 | 0 | 0 | maintained unfree | ||
Coq proof assistant |
9.1.1 |
4 | 7 | 78 | 85 | maintained | ||
Formally verified C compiler |
3.18 |
3 | 9 | 3 | 3 | maintained unfree | ||
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 | ||
Coverity Scan build tools |
2022.12.2 |
1 | 10 | 0 | 0 | single unfree | ||
Userspace checkpoint/restore for Linux |
4.1.1 → 4.2.1 |
1 | 27 | 1 | 6 | single outdated | ||
Cryptographic protocol verifier in the computational model |
2.12 |
1 | 3 | 0 | 0 | single | ||
High-performance theorem prover and SMT solver |
1.8 |
2 | 15 | 3 | 22 | maintained | ||
Event collector for the DataDog analysis service
-- v6 new golang implementation.
|
7.75.0 → 7.75.2 |
1 | 6 | 0 | 0 | single outdated | ||
3-pane diff editor |
0.6.1 |
1 | 5 | 0 | 0 | single | ||
Simplified multi-platform executable deployment |
0.5.7 → 0.5.9 |
1 | 5 | 0 | 0 | single outdated | ||
Duo Security Unix login integration |
2.2.3 → 2.3.0 |
1 | 5 | 0 | 0 | single outdated | ||
Simple tool for finding duplicated extents and submitting them for deduplication |
0.15.2 |
1 | 11 | 0 | 0 | single | ||
Secure, fast, minimal micro-container virtualization |
1.16.1 → 1.17.0 |
4 | 10 | 1 | 1 | maintained outdated | ||
Open source, distributed, transactional key-value store |
7.3.68 → 7.3.77 |
2 | 15 | 2 | 2 | maintained outdated | ||
Extensible and collaborative platform dedicated to source-code analysis of C software |
33.0 |
2 | 28 | 2 | 4 | maintained | ||
Functional CLI language |
4.0.1.1 → 10.2.3 |
2 | 8 | 0 | 0 | maintained outdated | ||
Optimizing Scheme to C compiler |
4.9.5 → 4.9.8 |
3 | 7 | 0 | 0 | maintained outdated | ||
Optimizing Scheme to C compiler |
4.9.8-unstable-2026-08-15 |
3 | 7 | 0 | 0 | maintained | ||
API for GeoIP/Geolocation databases |
1.6.12 |
2 | 3 | 15 | 34 | maintained | ||
API for GeoIP/Geolocation databases |
1.6.12 |
2 | 4 | 1 | 2 | maintained | ||
VHDL 2008/93/87 simulator |
6.0.0 |
3 | 5 | 5 | 5 | maintained | ||
VHDL 2008/93/87 simulator |
6.0.0 |
3 | 12 | 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 | 6 | 0 | 0 | maintained | ||
Finely-grained git repository hosting |
3.6.15 |
3 | 7 | 0 | 0 | maintained | ||
Software for Glasgow, a digital interface multitool |
0-unstable-2025-07-25 |
2 | 31 | 0 | 0 | maintained | ||
grsecurity RBAC administration and policy analysis utility |
3.1-202111052217 |
1 | 6 | 0 | 0 | single | ||
VCD/Waveform viewer for Unix and Win32 |
3.3.128 |
3 | 12 | 2 | 25 | maintained | ||
Optimized HTTP/1.x, HTTP/2, HTTP/3 server |
2.3.0-rolling-2026-09-10 → 20261006 |
2 | 18 | 0 | 0 | maintained outdated | ||
Interactive theorem prover based on Higher-Order Logic |
0-unstable-2026-09-02 → 20231021 |
3 | 12 | 0 | 0 | maintained outdated | ||
Command-line benchmarking tool |
1.21.0 |
2 | 7 | 0 | 0 | maintained | ||
Documentation and tools for Lattice iCE40 FPGAs |
0-unstable-2025-06-03 |
2 | 5 | 4 | 7 | maintained | ||
Intel 'Single Program, Multiple Data' Compiler, a vectorised language |
1.31.0 |
3 | 14 | 4 | 68 | maintained | ||
Icarus Verilog compiler |
13.0 |
1 | 13 | 11 | 33 | single | ||
Measure JVM application stalls and GC pauses |
2.0.10 |
1 | 2 | 0 | 0 | single | ||
Git-compatible DVCS that is both simple and powerful |
0.45.1 |
4 | 10 | 8 | 9 | maintained | ||
Columnar tick database and time-series language |
0-unstable-2022-07-24 |
1 | 6 | 0 | 0 | single | ||
Automatic and interactive theorem prover |
3.51.0 → 4.34.1 |
1 | 4 | 0 | 0 | single outdated | ||
Automatic and interactive theorem prover (version with HoTT support) |
2018-10-01 |
1 | 9 | 0 | 0 | single | ||
Mandatory access control system - core library |
5.0.2 |
3 | 16 | 106 | 20,078 | maintained | ||
Library for loading eBPF programs and reading and manipulating eBPF objects from user-space |
1.7.0 → 1.8.0 |
4 | 5 | 64 | 16,730 | maintained outdated | ||
Library and tools to manage Linux cgroups |
3.2.0 |
1 | 7 | 1 | 1 | single | ||
High-performance concurrency research library |
0.7.2 |
2 | 2 | 6 | 6 | maintained | ||
DFA regular expression library & friends |
0.1pre2987_087e3389 |
1 | 5 | 0 | 0 | single | ||
API for interfacing with the Linux Industrial I/O Subsystem |
0.26 → 1.0.0 |
1 | 13 | 12 | 37 | single outdated | ||
SQL / SQLI tokenizer parser analyzer |
3.10.0 → 4.0.0 |
1 | 3 | 0 | 0 | single outdated | ||
C API for the NATS messaging system |
3.13.0 |
1 | 7 | 0 | 0 | single | ||
Tools for managing the Linux Non-Volatile Memory Device sub-system |
83 → 85 |
1 | 14 | 3 | 125 | single outdated | ||
C application programmer's interface to PostgreSQL |
18.6 |
3 | 12 | 127 | 4,515 | team-only | ||
Free EDA software to develop printed circuit boards |
2.1.1 |
2 | 11 | 0 | 0 | maintained |