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 |
|---|---|---|---|---|---|---|---|---|
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 | ||
Low-level counterpart to Lua |
1.2.2 |
4 | 9 | 0 | 0 | maintained | ||
Test whether postgresql-18.6 exposes pkg-config modules libecpg |
3 | 4 | 1 | 1 | team-only | |||
Test whether postgresql-18.6 exposes pkg-config modules libecpg_compat |
3 | 4 | 1 | 1 | team-only | |||
Test whether postgresql-18.6 exposes pkg-config modules libpgtypes |
3 | 4 | 1 | 1 | team-only | |||
Test whether libpq-18.6 exposes pkg-config modules libpq |
3 | 4 | 1 | 1 | team-only | |||
C library for property-based testing |
0.4.5 |
2 | 2 | 0 | 0 | maintained | ||
Bulk, parallel insert of CSV records into PostgreSQL |
0.9.0 → 0.13.0 |
1 | 4 | 0 | 0 | single outdated | ||
Algorithm specification language with model checking tools |
1.7.4 |
3 | 4 | 0 | 0 | maintained | ||
Algorithm specification language with model checking tools |
1.8.0 |
3 | 4 | 0 | 0 | maintained | ||
Anonymizing overlay network |
0.4.9.14 |
3 | 14 | 9 | 11 | maintained | ||
Wrapper to safely torify applications |
2.5.0 |
1 | 5 | 2 | 13 | single | ||
User-space tools for the Linux kernel ftrace subsystem |
3.4 |
3 | 12 | 1 | 1 | maintained | ||
Documentation and bitstream tools for Lattice ECP5 FPGAs |
unstable-2025-01-30 → 1.0 |
3 | 5 | 5 | 6 | maintained outdated | ||
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 | ||
Advanced purely-functional web programming language |
20200209 |
3 | 10 | 0 | 0 | maintained | ||
High-performance observability data pipeline |
0.59.0 |
3 | 19 | 0 | 0 | maintained | ||
Verification for C and Java programs via separation logic |
25.08 |
1 | 13 | 0 | 0 | single | ||
Fast and robust (System)Verilog simulator/compiler and linter |
5.052 |
2 | 16 | 4 | 4 | maintained | ||
Command-line client for WebSockets (like netcat/socat) |
1.14.0 → 1.14.1 |
1 | 10 | 1 | 1 | single outdated | ||
Platform for deductive program verification |
1.8.2 |
2 | 21 | 4 | 7 | maintained | ||
Constant throughput, correct latency recording variant of wrk |
4.0.0-e0109df |
1 | 5 | 0 | 0 | single | ||
Generic drawing program tailored to circuit diagrams |
3.10.42 → 3.9.73 |
3 | 16 | 0 | 0 | maintained outdated | ||
High-performance theorem prover and SMT solver |
2.7.0 |
1 | 7 | 8 | 43 | single | ||
Open RTL synthesis framework and tools |
0.69 |
5 | 15 | 11 | 22 | maintained | ||
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 | ||
High-performance theorem prover and SMT solver |
5.1.0 |
2 | 8 | 41 | 114 | maintained | ||
TPTP wrapper for Z3 prover |
5.1.0 |
3 | 4 | 0 | 0 | maintained |