Show HN: Zig-DbC – A design by contract library for Zig

https://news.ycombinator.com/rss Hits: 4
Summary

Hi everyone,I've made an open-source library for using design by contract (DbC) principles in the Zig programming language.It's called Zig-DbC, and it currently provides the following features:- A simple API to define preconditions, postconditions, and invariants.- Contracts are active in `Debug`, `ReleaseSafe`, and `ReleaseSmall` modes to catch bugs early.- All checks are removed at compile time in `ReleaseFast` mode for zero performance cost.- An optional mode to handle partial state changes in functions that return errors.- Transparent error handling that propagates errors from your code to the caller.Project's GitHub repo: https://github.com/habedi/zig-dbc

First seen: 2025-08-14 16:16

Last seen: 2025-08-14 19:17