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 |
|---|---|---|---|---|---|---|---|---|
TPTP wrapper for Z3 prover |
5.1.0 |
3 | 4 | 0 | 0 | maintained | ||
High-performance theorem prover and SMT solver |
5.1.0 |
2 | 8 | 41 | 114 | maintained | ||
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 | ||
Open RTL synthesis framework and tools |
0.69 |
5 | 15 | 11 | 22 | maintained | ||
High-performance theorem prover and SMT solver |
2.7.0 |
1 | 7 | 8 | 43 | single | ||
Generic drawing program tailored to circuit diagrams |
3.10.42 → 3.9.73 |
3 | 16 | 0 | 0 | maintained outdated | ||
Constant throughput, correct latency recording variant of wrk |
4.0.0-e0109df |
1 | 5 | 0 | 0 | single | ||
Platform for deductive program verification |
1.8.2 |
2 | 21 | 4 | 7 | maintained | ||
Command-line client for WebSockets (like netcat/socat) |
1.14.0 → 1.14.1 |
1 | 10 | 1 | 1 | single outdated | ||
Fast and robust (System)Verilog simulator/compiler and linter |
5.052 |
2 | 16 | 4 | 4 | maintained | ||
Verification for C and Java programs via separation logic |
25.08 |
1 | 13 | 0 | 0 | single | ||
High-performance observability data pipeline |
0.59.0 |
3 | 19 | 0 | 0 | maintained | ||
Advanced purely-functional web programming language |
20200209 |
3 | 10 | 0 | 0 | maintained | ||
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 | ||
Documentation and bitstream tools for Lattice ECP5 FPGAs |
unstable-2025-01-30 → 1.0 |
3 | 5 | 5 | 6 | maintained outdated | ||
User-space tools for the Linux kernel ftrace subsystem |
3.4 |
3 | 12 | 1 | 1 | maintained | ||
Wrapper to safely torify applications |
2.5.0 |
1 | 5 | 2 | 13 | single | ||
Anonymizing overlay network |
0.4.9.14 |
3 | 14 | 9 | 11 | maintained | ||
Algorithm specification language with model checking tools |
1.8.0 |
3 | 4 | 0 | 0 | maintained | ||
Algorithm specification language with model checking tools |
1.7.4 |
3 | 4 | 0 | 0 | maintained | ||
Bulk, parallel insert of CSV records into PostgreSQL |
0.9.0 → 0.13.0 |
1 | 4 | 0 | 0 | single outdated | ||
C library for property-based testing |
0.4.5 |
2 | 2 | 0 | 0 | maintained | ||
Test whether libpq-18.6 exposes pkg-config modules libpq |
3 | 4 | 1 | 1 | team-only | |||
Test whether postgresql-18.6 exposes pkg-config modules libpgtypes |
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 libecpg |
3 | 4 | 1 | 1 | team-only | |||
Low-level counterpart to Lua |
1.2.2 |
4 | 9 | 0 | 0 | maintained | ||
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 | ||
Online backups for the truly paranoid |
1.0.41 |
2 | 7 | 1 | 1 | maintained unfree | ||
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 | ||
Command line for managing SpiceDB |
1.2.1 |
2 | 4 | 0 | 0 | maintained | ||
Open source permission database |
1.56.2 |
2 | 4 | 0 | 0 | maintained | ||
Semantic parser for C |
0.6.4-unstable-2024-02-03 → 0.6.5 |
2 | 10 | 1 | 1 | maintained outdated | ||
Apache Spark is a fast and general engine for large-scale data processing |
3.4.4 |
3 | 7 | 0 | 0 | maintained | ||
Apache Spark is a fast and general engine for large-scale data processing |
3.5.5 |
3 | 7 | 0 | 0 | maintained | ||
Apache Spark is a fast and general engine for large-scale data processing |
4.0.1 → 4.2.0 |
3 | 7 | 0 | 0 | maintained outdated | ||
Translator of declarative Datalog programs into the C++ language |
2.5 |
3 | 16 | 0 | 0 | maintained | ||
Standard ML of New Jersey, a compiler |
110.99.9 |
2 | 2 | 1 | 1 | maintained | ||
Encryption utility |
1.3.3 |
1 | 5 | 1 | 12 | single | ||
SymbiYosys, a front-end for Yosys-based formal verification flows |
0.69 |
2 | 8 | 2 | 14 | maintained | ||
Tools for software verification and analysis |
1.5 |
2 | 9 | 0 | 0 | maintained | ||
Scalable, User-Friendly Source Control System |
0.2.20250521-115337+25ed6ac4 → 0.2.20260929.102736.288e0c2d |
3 | 16 | 0 | 0 | maintained outdated | ||
Records nondeterministic executions and debugs them deterministically |
5.9.0 |
3 | 14 | 1 | 1 | maintained | ||
Open-source distributed database built with love |
2.4.4 |
1 | 14 | 0 | 0 | single | ||
Automatically sync files via secure, distributed technology |
3.1.1.1075 → 3.1.2.1076 |
2 | 6 | 0 | 0 | maintained unfree outdated | ||
Tool for writing very fast and very flexible scanners |
4.5.1 → 4.6 |
1 | 4 | 438 | 68,234 | single outdated | ||
Raku implementation on top of Moar virtual machine |
2026.07 → 2026.09 |
3 | 5 | 1 | 1 | maintained outdated | ||
PyTorch: Tensors and Dynamic neural networks in Python with strong GPU acceleration |
2.13.0 → 2.14.1 |
6 | 44 | 0 | 0 | maintained outdated | ||
PyTorch: Tensors and Dynamic neural networks in Python with strong GPU acceleration |
2.13.0 → 2.14.1 |
6 | 45 | 1 | 1 | maintained outdated | ||
PyTorch: Tensors and Dynamic neural networks in Python with strong GPU acceleration |
2.13.0 → 2.14.1 |
6 | 61 | 1 | 1 | maintained outdated | ||
PyTorch: Tensors and Dynamic neural networks in Python with strong GPU acceleration |
2.13.0 → 2.14.1 |
6 | 40 | 0 | 0 | maintained outdated | ||
PyTorch: Tensors and Dynamic neural networks in Python with strong GPU acceleration |
2.13.0 → 2.14.1 |
6 | 41 | 235 | 390 | maintained 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 | ||
System on Chip toolkit for Amaranth HDL |
0.1a-unstable-2026-05-23 |
2 | 16 | 0 | 0 | maintained | ||
Board definitions for Amaranth HDL |
0-unstable-2025-08-28 |
2 | 16 | 0 | 0 | maintained | ||
Modern hardware definition language and toolchain based on Python |
0.5.10 |
2 | 24 | 6 | 7 | maintained | ||
High-performance theorem prover and SMT solver |
5.1.0 |
2 | 8 | 6 | 13 | maintained | ||
Open RTL synthesis framework and tools |
0.69 |
5 | 15 | 3 | 7 | maintained | ||
PyTorch: Tensors and Dynamic neural networks in Python with strong GPU acceleration |
2.13.0 → 2.14.1 |
6 | 44 | 0 | 0 | maintained outdated | ||
PyTorch: Tensors and Dynamic neural networks in Python with strong GPU acceleration |
2.13.0 → 2.14.1 |
6 | 45 | 0 | 0 | maintained outdated | ||
PyTorch: Tensors and Dynamic neural networks in Python with strong GPU acceleration |
2.13.0 → 2.14.1 |
6 | 61 | 0 | 0 | maintained outdated | ||
PyTorch: Tensors and Dynamic neural networks in Python with strong GPU acceleration |
2.13.0 → 2.14.1 |
6 | 40 | 0 | 0 | maintained outdated | ||
PyTorch: Tensors and Dynamic neural networks in Python with strong GPU acceleration |
2.13.0 → 2.14.1 |
6 | 41 | 237 | 392 | maintained 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 | 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 | ||
Mandatory access control system - core library |
5.0.2 |
3 | 16 | 0 | 0 | maintained | ||
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 | ||
Dynamic Tracing Tools for Linux |
0.37.0 |
5 | 27 | 1 | 1 | maintained | ||
Python library for date manipulation |
1.4.0 |
1 | 24 | 22 | 640 | single | ||
System on Chip toolkit for Amaranth HDL |
0.1a-unstable-2026-05-23 |
2 | 16 | 0 | 0 | maintained | ||
Board definitions for Amaranth HDL |
0-unstable-2025-08-28 |
2 | 16 | 0 | 0 | maintained | ||
Modern hardware definition language and toolchain based on Python |
0.5.10 |
2 | 24 | 4 | 5 | maintained | ||
ODBC driver for PostgreSQL |
18.00.0003 → 18.00.0004 |
3 | 6 | 1 | 1,771 | team-only outdated | ||
Cryptographic protocol verifier in the formal model |
2.05 |
2 | 8 | 0 | 0 | maintained | ||
Cryptographic protocol verifier in the formal model |
2.05 |
2 | 5 | 0 | 0 | maintained | ||
Powerful, open source object-relational database system |
19beta4 |
3 | 30 | 73 | 73 | team-only | ||
Powerful, open source object-relational database system |
17.11 |
3 | 27 | 76 | 76 | team-only | ||
Powerful, open source object-relational database system |
16.15 |
3 | 27 | 76 | 76 | team-only |