Verified jq -> SQL translation, kernel-checked in Lean 4.
10K+
Sort by
| Digest | OS/ARCH | Compressed size |
|---|---|---|
c8466d50f21e | linux/amd64 | 314.96 MB |
0eebdc7fa449 | linux/arm64 | 320.56 MB |
| Digest | OS/ARCH | Compressed size |
|---|---|---|
c8466d50f21e | linux/amd64 | 314.96 MB |
0eebdc7fa449 | linux/arm64 | 320.56 MB |
| Digest | OS/ARCH | Compressed size |
|---|---|---|
403d51bb09e4 | linux/amd64 | 314.95 MB |
df8d2d11d166 | linux/arm64 | 320.56 MB |
| Digest | OS/ARCH | Compressed size |
|---|---|---|
4a3c0be4ed79 | linux/amd64 | 314.95 MB |
1c3278ee82cc | linux/arm64 | 320.56 MB |
| Digest | OS/ARCH | Compressed size |
|---|---|---|
c01b0b98aab1 | linux/amd64 | 314.95 MB |
76af1dd82560 | linux/arm64 | 320.56 MB |