Design By Contract
Showing 6 of 6 projects
A neuro-symbolic Python framework that combines classical programming with LLMs through composable primitives and design-by-contract validation.
An asynchronous, crash-safe C++14 logger with intuitive API, design-by-contract checks, and custom sink support.
A Python library for creating phantom types that enforce runtime and static type constraints through predicates.
A Go tool that automatically generates pre- and post-condition checks from function descriptions to implement design-by-contract.
A Common Lisp library implementing Design by Contract™ for CLOS, enabling preconditions, postconditions, and class invariants.
Adds Ada-level runtime safety features to V programs, including range-checked integers, strong types, bounded lists, and hardware attack mitigations.
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.