// Be One With Your Software
01. Philosophy
We believe software should be correct and simple, but never simplistic.
Being One with your software simply means that the software you use should do what's expected to do, with as little friction as possible. This is also applied to developer tools, that will produce quality code that is correct.
02. Product_Announcement
Verity
Verity is a flagship correctness_engine built in Zig. It verifies invariants and validates logic paths with zero dependencies.
- [01] Static_Verification_Engine
- [02] Zero_Config_Binary_Deployment
- [03] Transparent_Logic_Reports
// License: Non-Commercial
// 03. Binaries
Download Verity Core
DARWIN_AMD64
macOS
verity_v0.1.0_darwin.zip
⊞ WIN_X64
Windows
verity_v0.1.0_win64.exe
LINUX_X86_64
Linux
verity_v0.1.0_linux.tar.gz
SHA256: e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855