Design By Contract
3 projects
Showing 3 of 3 projects
SymbolicAIPython
A neuro-symbolic Python framework that combines classical programming with LLMs through composable primitives and design-by-contract validation.
#python-library#symbolic-reasoning#design-by-contract
Stars1.7k
Forks86
Last commit9 days ago
G3logC++
An asynchronous, crash-safe C++14 logger with intuitive API, design-by-contract checks, and custom sink support.
#crash-safe#asynchronous-logging#public-domain
Stars957
Forks280
Last commit2 months ago
phantom-typesPython
A Python library for creating phantom types that enforce runtime and static type constraints through predicates.
#refined#phantom-types#pydantic
Stars235
Forks11
Last commit4 months ago
Community-curated · Updated weekly · 100% open source
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.