Distribution binaries for prov v0.4 — a terminal text editor in C23 on the
proven library (zx/ed modes, multi-buffer/tabs/splits, hex editor, search &
replace, file browser).
Downloads
| Platform | File |
|---|---|
| Linux x86-64 (glibc) | prov-v0.4-linux-x64 |
| Linux ARM64 / AArch64 (glibc; Raspberry Pi 64-bit) | prov-v0.4-linux-arm64 |
| Linux ARM hard-float (armhf) | prov-v0.4-linux-armhf |
| Windows x64 | prov-v0.4-windows-x64.exe |
Optimized (-O2 -flto), size-reduced, stripped builds. Linux binaries are dynamically linked against glibc for their architecture; the
Windows .exe is statically linked (self-contained — only Windows system DLLs).
Built from the published source snapshot. To build from source instead:
cc nob.c -o nob && ./nob (native) or ./nob dist (all available toolchains).