kini Keshav Kini
github.com/kini · maintains 6 packages (6 directly), sole maintainer of 4, member of 0 teams
6 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Interpreter and prover for a Lisp dialect |
8.6 → 8.7 |
2 | 10 | 0 | 0 | maintained unfree outdated | ||
Interpreter and prover for a Lisp dialect |
8.6 → 8.7 |
2 | 2 | 0 | 0 | maintained outdated | ||
Tool for extracting audio/video metadata from media files and uploading it to AniDB |
8293_stable |
1 | 9 | 0 | 0 | single unfree | ||
Proof checker for unSAT proofs |
2023-05-22 |
1 | 2 | 1 | 21 | single | ||
Python module to bypass Cloudflare's anti-bot page |
1.2.71 → 3.0.0 |
1 | 16 | 2 | 2 | single outdated | ||
Python module to bypass Cloudflare's anti-bot page |
1.2.71 → 3.0.0 |
1 | 16 | 7 | 8 | single outdated |