thoughtpolice Austin Seipp
github.com/thoughtpolice · maintains 332 packages (302 directly), sole maintainer of 115, member of 1 teams
115 packages · page 1 of 2
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
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 | ||
AIGER model checking for Property Directed Reachability |
2019.05.01 |
1 | 5 | 0 | 0 | single | ||
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 | ||
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 | ||
Debugging/program analysis tools for the eBPF subsystem |
7.2 → 7.2.9 |
1 | 11 | 25 | 4,334 | single outdated | ||
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 | ||
Clang Static Analyzer |
21.1.8 |
1 | 6 | 0 | 0 | single | ||
Program to apply semantic patches to C code |
1.3.1 → 1.3.3 |
1 | 4 | 9 | 9 | single outdated | ||
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 | ||
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 | ||
grsecurity RBAC administration and policy analysis utility |
3.1-202111052217 |
1 | 6 | 0 | 0 | single | ||
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 | ||
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 | ||
Library and tools to manage Linux cgroups |
3.2.0 |
1 | 7 | 1 | 1 | single | ||
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 | ||
Userspace library for the Linux Restartable Sequence API |
0.1.0pre71_170f840 |
1 | 4 | 0 | 0 | single | ||
High level library for the Linux Kernel seccomp filter |
2.6.1 |
1 | 6 | 104 | 5,476 | single | ||
Fast SAT solver |
1.0.0 → 180517 |
1 | 3 | 1 | 21 | single outdated | ||
Userspace locking validation tool built on the Linux kernel |
5.0.21 |
1 | 6 | 0 | 0 | single | ||
Fast translation from LTL formulae to Buchi automata |
1.3 |
1 | 2 | 0 | 0 | single | ||
VLSI layout tool written in Tcl |
8.3.681 → 8.3.685 |
1 | 12 | 1 | 1 | single outdated | ||
Mutation-based coverage testing for hardware designs, with Yosys |
2020.08.03 |
1 | 3 | 0 | 0 | single | ||
Flexible memory management and garbage collection library |
1.118.0 |
1 | 4 | 0 | 0 | single | ||
Efficient, small, quality libc implementation |
1.2.6 |
1 | 3 | 11 | 43 | single | ||
Implementation of the Network Time Protocol |
4.2.8p18 |
1 | 7 | 0 | 0 | single | ||
OpenBSD NTP daemon (Debian port) |
6.8p1 → 7.9p1 |
1 | 3 | 0 | 0 | single outdated | ||
Passive network reconnaissance and fingerprinting tool |
3.09b |
1 | 4 | 0 | 0 | single | ||
ELF utils that can check files for security relevant properties |
1.3.11 |
1 | 10 | 0 | 0 | single | ||
Tool for controlling PaX flags on a per binary basis |
0.9 |
1 | 2 | 1 | 1 | single | ||
Minimal Ed25519 bindings |
1.05 |
1 | 4 | 0 | 0 | single | ||
Mojolicious server status |
1.17 |
1 | 8 | 1 | 1 | single | ||
Fast, compact, powerful binary (de-)serialization |
5.006 → 5.010 |
1 | 8 | 1 | 2 | single outdated | ||
Fast, compact, powerful binary deserialization |
5.006 → 5.010 |
1 | 7 | 3 | 5 | single outdated | ||
Fast, compact, powerful binary serialization |
5.006 → 5.010 |
1 | 8 | 2 | 4 | single outdated | ||
Run Cron jobs through PostgreSQL |
1.6.8 |
1 | 2 | 0 | 0 | single | ||
HyperLogLog for PostgreSQL |
2.21 |
1 | 2 | 0 | 0 | single | ||
Async networking for Postgres |
0.20.5 |
1 | 3 | 0 | 0 | single | ||
Efficient querying of 'top values' for PostgreSQL |
2.7.1 |
1 | 2 | 0 | 0 | single | ||
Run Cron jobs through PostgreSQL |
1.6.8 |
1 | 2 | 0 | 0 | single | ||
HyperLogLog for PostgreSQL |
2.21 |
1 | 2 | 0 | 0 | single | ||
Async networking for Postgres |
0.20.5 |
1 | 3 | 0 | 0 | single | ||
Efficient querying of 'top values' for PostgreSQL |
2.7.1 |
1 | 2 | 0 | 0 | single | ||
Run Cron jobs through PostgreSQL |
1.6.8 |
1 | 2 | 0 | 0 | single | ||
HyperLogLog for PostgreSQL |
2.21 |
1 | 2 | 0 | 0 | single | ||
Async networking for Postgres |
0.20.5 |
1 | 3 | 0 | 0 | single | ||
Efficient querying of 'top values' for PostgreSQL |
2.7.1 |
1 | 2 | 0 | 0 | single | ||
Run Cron jobs through PostgreSQL |
1.6.8 |
1 | 2 | 0 | 0 | single | ||
HyperLogLog for PostgreSQL |
2.21 |
1 | 2 | 0 | 0 | single | ||
Async networking for Postgres |
0.20.5 |
1 | 3 | 0 | 0 | single | ||
Efficient querying of 'top values' for PostgreSQL |
2.7.1 |
1 | 2 | 0 | 0 | single | ||
Run Cron jobs through PostgreSQL |
1.6.8 |
1 | 2 | 0 | 0 | single | ||
HyperLogLog for PostgreSQL |
2.21 |
1 | 2 | 0 | 0 | single | ||
Async networking for Postgres |
0.20.5 |
1 | 3 | 0 | 0 | single | ||
Efficient querying of 'top values' for PostgreSQL |
2.7.1 |
1 | 2 | 0 | 0 | single | ||
Run Cron jobs through PostgreSQL |
1.6.8 |
1 | 2 | 0 | 0 | single | ||
HyperLogLog for PostgreSQL |
2.21 |
1 | 2 | 0 | 0 | single | ||
Async networking for Postgres |
0.20.5 |
1 | 3 | 0 | 0 | single | ||
Efficient querying of 'top values' for PostgreSQL |
2.7.1 |
1 | 2 | 0 | 0 | single | ||
Python library for date manipulation |
1.4.0 |
1 | 24 | 22 | 640 | single | ||
Python bindings for FoundationDB |
7.3.68 → 8.0.0 |
1 | 14 | 0 | 0 | single outdated | ||
Python API library for Gradient |
3.12.2 |
1 | 23 | 0 | 0 | single | ||
API for interfacing with the Linux Industrial I/O Subsystem |
0.26 |
1 | 13 | 0 | 0 | single | ||
Pluggable transport proxy |
0.2.13 |
1 | 17 | 0 | 0 | single | ||
FIGlet in pure Python |
1.0.4 |
1 | 13 | 2 | 4 | single | ||
SOCKS module for Python |
1.7.1 |
1 | 13 | 24 | 6,690 | single | ||
Python bindings for libseccomp |
2.6.1 |
1 | 15 | 0 | 0 | single | ||
Matplotlib for your terminal |
0.3.9 |
1 | 19 | 0 | 0 | single | ||
Python library for date manipulation |
1.4.0 |
1 | 24 | 39 | 787 | single | ||
Python bindings for FoundationDB |
7.3.68 → 8.0.0 |
1 | 14 | 0 | 0 | single outdated | ||
Python API library for Gradient |
3.12.2 |
1 | 23 | 0 | 0 | single | ||
Pluggable transport proxy |
0.2.13 |
1 | 17 | 0 | 0 | single | ||
FIGlet in pure Python |
1.0.4 |
1 | 13 | 11 | 15 | single | ||
SOCKS module for Python |
1.7.1 |
1 | 13 | 65 | 43,261 | single | ||
Python bindings for libseccomp |
2.6.1 |
1 | 15 | 0 | 0 | single | ||
Matplotlib for your terminal |
0.3.9 |
1 | 19 | 0 | 0 | single | ||
Tool for writing very fast and very flexible scanners |
4.5.1 → 4.6 |
1 | 4 | 438 | 68,234 | single outdated | ||
Open-source distributed database built with love |
2.4.4 |
1 | 14 | 0 | 0 | single | ||
Encryption utility |
1.3.3 |
1 | 5 | 1 | 12 | single | ||
Utility for secure encrypted channels between sockets |
1.6.4 |
1 | 4 | 0 | 0 | single | ||
Program for calculating fuzzy hashes |
2.14.1 |
1 | 3 | 7 | 10 | single | ||
Verification of stateful processes (via Proverif) |
1.86pl4 |
1 | 2 | 0 | 0 | single | ||
Multi-use cryptographic tool based on the STRIBOB algorithm |
20140609100300 |
1 | 2 | 0 | 0 | single | ||
Universal tls/ssl wrapper |
5.80 → 5.82 |
1 | 4 | 1 | 1 | single outdated |