thoughtpolice Austin Seipp
github.com/thoughtpolice · maintains 332 packages (302 directly), sole maintainer of 115, member of 1 teams
115 packages · page 2 of 2
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Security protocol verification in the symbolic model |
1.12.0 |
1 | 10 | 0 | 0 | single | ||
Object Oriented Enhancements for Tcl/Tk |
4.2.3 |
1 | 5 | 1 | 1 | single | ||
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 | ||
Bulk, parallel insert of CSV records into PostgreSQL |
0.9.0 → 0.13.0 |
1 | 4 | 0 | 0 | single outdated | ||
Wrapper to safely torify applications |
2.5.0 |
1 | 5 | 2 | 13 | single | ||
Share your terminal over the web |
1.7.7 |
1 | 11 | 2 | 2 | single | ||
Lightweight multi-platform CPU emulator library |
2.1.4 |
1 | 4 | 2 | 12 | single | ||
Verification for C and Java programs via separation logic |
25.08 |
1 | 13 | 0 | 0 | single | ||
Command-line client for WebSockets (like netcat/socat) |
1.14.0 → 1.14.1 |
1 | 10 | 1 | 1 | single outdated | ||
Constant throughput, correct latency recording variant of wrk |
4.0.0-e0109df |
1 | 5 | 0 | 0 | single | ||
High-performance theorem prover and SMT solver |
2.7.0 |
1 | 7 | 8 | 43 | single | ||
Bluespec plugin for Yosys |
2021.09.08 |
1 | 7 | 0 | 0 | single | ||
GHDL plugin for Yosys |
0-unstable-2025-05-23 |
1 | 7 | 0 | 0 | single |