7 results found Sort:

ddd-by-examples
factory ddd-by-examples
275
1.3k
mit
122
The missing, complete example of Domain-Driven Design enterprise application backed by Spring stack
cqrs crud hexagon aggregate invariants domain-model domain-events event-storming domain-knowledge ports-and-adapters domain-driven-design enterprise-applications
Created 2017-12-04
136 commits to master branch, last one 3 years ago
greyblake
nutype greyblake
19
1.2k
mit
6
Rust newtype with guarantees 🇺🇦 🦀
web data rust macro macros newtype invariant rust-lang sanitizer validator invariance invariants typesafety validation rust-library sanitization data-structures
Created 2022-10-09
437 commits to master branch, last one 9 days ago
seahorn
clam seahorn
37
263
apache-2.0
13
Static Analyzer for LLVM bitcode based on Abstract Interpretation
llvm invariants static-analysis program-analysis software-verification abstract-interpretation
Created 2017-06-30
1,339 commits to master branch, last one 9 months ago
php-deal
framework php-deal
22
253
mit
15
Design by Contract framework for PHP
dbc php invariants preconditions design-by-contracts contracts-programming
Created 2014-02-01
100 commits to master branch, last one 3 years ago
seahorn
crab seahorn
32
224
apache-2.0
12
A library for building abstract interpretation-based analyses
invariants verification static-analysis program-analysis abstract-interpretation
Created 2017-06-30
1,832 commits to master branch, last one 8 months ago
NorfairKing
validity NorfairKing
30
155
mit
9
Validity and validity-based testing
validity invariants sanity-test invalid-values explicit-invariants
Created 2016-07-10
737 commits to master branch, last one 10 days ago
SaswatPadhi
LoopInvGen SaswatPadhi
21
56
mit
6
Generates loop invariants for program verification
cegis sygus synthesis invariants sygus-solver loop-invariants invariant-generation program-verification syntax-guided-synthesis
This repository has been archived (exclude archived)
Created 2017-05-27
201 commits to master branch, last one 4 years ago