7 results found Sort:

greyblake
nutype greyblake
25
1.4k
mit
5
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
541 commits to master branch, last one a day ago
ddd-by-examples
factory ddd-by-examples
274
1.3k
mit
123
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
seahorn
clam seahorn
37
278
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 about a year ago
php-deal
framework php-deal
22
252
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
236
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 about a year ago
NorfairKing
validity NorfairKing
31
158
mit
9
Validity and validity-based testing
validity invariants sanity-test invalid-values explicit-invariants
Created 2016-07-10
746 commits to master branch, last one 2 months ago
SaswatPadhi
LoopInvGen SaswatPadhi
20
59
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