Rust newtype with guarantees 🇺🇦 🦀
The missing, complete example of Domain-Driven Design enterprise application backed by Spring stack
Static Analyzer for LLVM bitcode based on Abstract Interpretation
Design by Contract framework for PHP
翻译 - PHP的按合同设计框架
A library for building abstract interpretation-based analyses
contrib/amcheck from Postgres v11 backported to earlier Postgres versions
Generates loop invariants for program verification
All of my math stuff from grad school.
Fluent Design Contracts for Java Projects
The main goal of this software is to give assistance to Graph Theory and Spectral Graph Theory researchers to establish or refute conjectures quickly and simply, providing for visualization a filtered...
Vaxine provides rich-CRDT features on top of Antidote.
Vaxine provides rich-CRDT features on top of Antidote.
Introspectable Contracts Programming for JavaScript
Introspectable Contracts Programming for JavaScript
enforce representation/class invariants in your Rust data structures
enforce representation/class invariants in your Rust data structures
QMaxUSE: A query-based verification tool for verifying UML class diagrams with extreme size of OCL invariants.
QMaxUSE: A query-based verification tool for verifying UML class diagrams with extreme size of OCL invariants.
👊 Human-readable, fast and boilerplate-free contract programming (precondition checks) for JavaScript.