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 |
|---|---|---|---|---|---|---|---|---|
GHDL plugin for Yosys |
0-unstable-2025-05-23 |
1 | 7 | 0 | 0 | single | ||
Bluespec plugin for Yosys |
2021.09.08 |
1 | 7 | 0 | 0 | single | ||
High-performance theorem prover and SMT solver |
2.7.0 |
1 | 7 | 8 | 43 | single | ||
Constant throughput, correct latency recording variant of wrk |
4.0.0-e0109df |
1 | 5 | 0 | 0 | single | ||
Command-line client for WebSockets (like netcat/socat) |
1.14.0 → 1.14.1 |
1 | 10 | 1 | 1 | single outdated | ||
Verification for C and Java programs via separation logic |
25.08 |
1 | 13 | 0 | 0 | single | ||
Lightweight multi-platform CPU emulator library |
2.1.4 |
1 | 4 | 2 | 12 | single | ||
Share your terminal over the web |
1.7.7 |
1 | 11 | 2 | 2 | single | ||
Wrapper to safely torify applications |
2.5.0 |
1 | 5 | 2 | 13 | single | ||
Bulk, parallel insert of CSV records into PostgreSQL |
0.9.0 → 0.13.0 |
1 | 4 | 0 | 0 | single outdated | ||
Mega-widget toolkit for incr Tk |
4.1.0 |
1 | 7 | 0 | 0 | single | ||
Object Oriented Enhancements for Tcl/Tk |
4.2.3 |
1 | 5 | 1 | 1 | single broken | ||
Mega-widget toolkit for incr Tk |
4.1.0 |
1 | 7 | 0 | 0 | single | ||
Object Oriented Enhancements for Tcl/Tk |
4.2.3 |
1 | 5 | 1 | 1 | single | ||
Security protocol verification in the symbolic model |
1.12.0 |
1 | 10 | 0 | 0 | single | ||
Universal tls/ssl wrapper |
5.80 → 5.82 |
1 | 4 | 1 | 1 | single outdated | ||
Multi-use cryptographic tool based on the STRIBOB algorithm |
20140609100300 |
1 | 2 | 0 | 0 | single | ||
Verification of stateful processes (via Proverif) |
1.86pl4 |
1 | 2 | 0 | 0 | single | ||
Program for calculating fuzzy hashes |
2.14.1 |
1 | 3 | 7 | 10 | single | ||
Utility for secure encrypted channels between sockets |
1.6.4 |
1 | 4 | 0 | 0 | single | ||
Encryption utility |
1.3.3 |
1 | 5 | 1 | 12 | single | ||
Open-source distributed database built with love |
2.4.4 |
1 | 14 | 0 | 0 | single | ||
Tool for writing very fast and very flexible scanners |
4.5.1 → 4.6 |
1 | 4 | 438 | 68,234 | single outdated | ||
Matplotlib for your terminal |
0.3.9 |
1 | 19 | 0 | 0 | single | ||
Python bindings for libseccomp |
2.6.1 |
1 | 15 | 0 | 0 | single | ||
SOCKS module for Python |
1.7.1 |
1 | 13 | 65 | 43,261 | single | ||
FIGlet in pure Python |
1.0.4 |
1 | 13 | 11 | 15 | single | ||
Pluggable transport proxy |
0.2.13 |
1 | 17 | 0 | 0 | single | ||
Python API library for Gradient |
3.12.2 |
1 | 23 | 0 | 0 | single | ||
Python bindings for FoundationDB |
7.3.68 → 8.0.0 |
1 | 14 | 0 | 0 | single outdated | ||
Python library for date manipulation |
1.4.0 |
1 | 24 | 39 | 787 | single | ||
Matplotlib for your terminal |
0.3.9 |
1 | 19 | 0 | 0 | single | ||
Python bindings for libseccomp |
2.6.1 |
1 | 15 | 0 | 0 | single | ||
SOCKS module for Python |
1.7.1 |
1 | 13 | 24 | 6,690 | single | ||
FIGlet in pure Python |
1.0.4 |
1 | 13 | 2 | 4 | single | ||
Pluggable transport proxy |
0.2.13 |
1 | 17 | 0 | 0 | single | ||
API for interfacing with the Linux Industrial I/O Subsystem |
0.26 |
1 | 13 | 0 | 0 | single | ||
Python API library for Gradient |
3.12.2 |
1 | 23 | 0 | 0 | single | ||
Python bindings for FoundationDB |
7.3.68 → 8.0.0 |
1 | 14 | 0 | 0 | single outdated | ||
Python library for date manipulation |
1.4.0 |
1 | 24 | 22 | 640 | single | ||
Efficient querying of 'top values' for PostgreSQL |
2.7.1 |
1 | 2 | 0 | 0 | single | ||
Async networking for Postgres |
0.20.5 |
1 | 3 | 0 | 0 | single | ||
HyperLogLog for PostgreSQL |
2.21 |
1 | 2 | 0 | 0 | single | ||
Run Cron jobs through PostgreSQL |
1.6.8 |
1 | 2 | 0 | 0 | single | ||
Efficient querying of 'top values' for PostgreSQL |
2.7.1 |
1 | 2 | 0 | 0 | single | ||
Async networking for Postgres |
0.20.5 |
1 | 3 | 0 | 0 | single | ||
HyperLogLog for PostgreSQL |
2.21 |
1 | 2 | 0 | 0 | single | ||
Run Cron jobs through PostgreSQL |
1.6.8 |
1 | 2 | 0 | 0 | single | ||
Efficient querying of 'top values' for PostgreSQL |
2.7.1 |
1 | 2 | 0 | 0 | single | ||
Async networking for Postgres |
0.20.5 |
1 | 3 | 0 | 0 | single | ||
HyperLogLog for PostgreSQL |
2.21 |
1 | 2 | 0 | 0 | single | ||
Run Cron jobs through PostgreSQL |
1.6.8 |
1 | 2 | 0 | 0 | single | ||
Efficient querying of 'top values' for PostgreSQL |
2.7.1 |
1 | 2 | 0 | 0 | single | ||
Async networking for Postgres |
0.20.5 |
1 | 3 | 0 | 0 | single | ||
HyperLogLog for PostgreSQL |
2.21 |
1 | 2 | 0 | 0 | single | ||
Run Cron jobs through PostgreSQL |
1.6.8 |
1 | 2 | 0 | 0 | single | ||
Efficient querying of 'top values' for PostgreSQL |
2.7.1 |
1 | 2 | 0 | 0 | single | ||
Async networking for Postgres |
0.20.5 |
1 | 3 | 0 | 0 | single | ||
HyperLogLog for PostgreSQL |
2.21 |
1 | 2 | 0 | 0 | single | ||
Run Cron jobs through PostgreSQL |
1.6.8 |
1 | 2 | 0 | 0 | single | ||
Efficient querying of 'top values' for PostgreSQL |
2.7.1 |
1 | 2 | 0 | 0 | single | ||
Async networking for Postgres |
0.20.5 |
1 | 3 | 0 | 0 | single | ||
HyperLogLog for PostgreSQL |
2.21 |
1 | 2 | 0 | 0 | single | ||
Run Cron jobs through PostgreSQL |
1.6.8 |
1 | 2 | 0 | 0 | single | ||
Fast, compact, powerful binary serialization |
5.006 → 5.010 |
1 | 8 | 2 | 4 | single outdated | ||
Fast, compact, powerful binary deserialization |
5.006 → 5.010 |
1 | 7 | 3 | 5 | single outdated | ||
Fast, compact, powerful binary (de-)serialization |
5.006 → 5.010 |
1 | 8 | 1 | 2 | single outdated | ||
Mojolicious server status |
1.17 |
1 | 8 | 1 | 1 | single | ||
Minimal Ed25519 bindings |
1.05 |
1 | 4 | 0 | 0 | single | ||
Tool for controlling PaX flags on a per binary basis |
0.9 |
1 | 2 | 1 | 1 | single | ||
ELF utils that can check files for security relevant properties |
1.3.11 |
1 | 10 | 0 | 0 | single | ||
Passive network reconnaissance and fingerprinting tool |
3.09b |
1 | 4 | 0 | 0 | single | ||
OpenBSD NTP daemon (Debian port) |
6.8p1 → 7.9p1 |
1 | 3 | 0 | 0 | single outdated | ||
Implementation of the Network Time Protocol |
4.2.8p18 |
1 | 7 | 0 | 0 | single | ||
Efficient, small, quality libc implementation |
1.2.6 |
1 | 3 | 11 | 43 | single | ||
Flexible memory management and garbage collection library |
1.118.0 |
1 | 4 | 0 | 0 | single | ||
Mutation-based coverage testing for hardware designs, with Yosys |
2020.08.03 |
1 | 3 | 0 | 0 | single | ||
VLSI layout tool written in Tcl |
8.3.681 → 8.3.685 |
1 | 12 | 1 | 1 | single outdated | ||
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 | ||
Fast SAT solver |
1.0.0 → 180517 |
1 | 3 | 1 | 21 | single 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 | ||
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 | ||
Library and tools to manage Linux cgroups |
3.2.0 |
1 | 7 | 1 | 1 | single | ||
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 | ||
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 | ||
grsecurity RBAC administration and policy analysis utility |
3.1-202111052217 |
1 | 6 | 0 | 0 | single | ||
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 |