invariants
There are 64 repositories under invariants topic.
greyblake/nutype
Rust newtype with guarantees 🇺🇦 🦀
ddd-by-examples/factory
The missing, complete example of Domain-Driven Design enterprise application backed by Spring stack
seahorn/clam
Static Analyzer for LLVM bitcode based on Abstract Interpretation
php-deal/framework
Design by Contract framework for PHP
seahorn/crab
A library for building abstract interpretation-based analyses
NorfairKing/validity
Validity and validity-based testing
petergeoghegan/amcheck
contrib/amcheck from Postgres v11 backported to earlier Postgres versions
SaswatPadhi/LoopInvGen
Generates loop invariants for program verification
mbrandonw/my-math-notes
All of my math stuff from grad school.
cowwoc/requirements.java
Fluent Design Contracts for Java Projects
GraphFilter/GraphFilter
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 list of graphs according to the properties given by the user.
electric-sql/legacy-vaxine
Vaxine provides rich-CRDT features on top of Antidote.
jonnor/agree
Introspectable Contracts Programming for JavaScript
calebwin/rep
enforce representation/class invariants in your Rust data structures
classicwuhao/qmaxuse
QMaxUSE: A query-based verification tool for verifying UML class diagrams with extreme size of OCL invariants.
JoshuaJakowlew/constrained
Utility library that helps expressing invariants in types
cowwoc/requirements.js
Fluent Design by Contract for Javascript APIs
mchalapuk/offensive.js
:facepunch: Human-readable, fast and boilerplate-free contract programming (precondition checks) for JavaScript.
jjwsteele/denuto
Design by contract for JavaScript
mojtaba-eshghie/HighGuard
The runtime monitoring tool for smart contracts business logic.
cbz20/khtpp
computing Khovanov invariants for links and tangles
trajectory-invariants/invariants_mat
Matlab implementation of Trajectory Invariants.
mojtaba-eshghie/PreDi
PreDi: Semantic Solidity Predicate Difference Tool
trajectory-invariants/invariants_py
Calculate invariant trajectory representations from trajectory data and generate new trajectories from the invariants.
aidevnn/AbelianDecompositon
Abelian Finite Groups decomposition
anajuliabit/euler_hack_poc
Euler Incident POC
andreykarinskiy/System.ComponentModel.Annotations.Validation
System.ComponentModel.Annotations.Validation is a extension of System.ComponentModel validation engine. Supports validation of properties and invariants for object graphs.
AndrewBartholomew62/Andrew-Bartholomew-braid
A programme for calculating invariants and maipulating codes for various categories of knots and links
baptiste-fourmont/synthese-invariant
In this project, we have automated the synthesis of loop invariants for a for a very small programming language. It converts SMT-Lib files into SMT2
derbent-ninjas/invariant-composer
Convenient Invariant functor and several helper functions for validation
disintegrator/inv
Runtime assertions for your invariants in Go.
divyeshunadkat/PARQ
PARQ is an automatic parallelization engine based on Skolem Function Synthesis and Quantified Invariant Generation. It is aimed at parallelization of array modifying programs written as Constrained Horn Clause (CHC) formulas.
gggauravgandhi/invariants
A way to provide descriptive errors in development but generic errors in production.
LarsDoorenbos/Data-invariants
Repository for "Data Invariants to Understand Unsupervised Out-of-Distribution Detection" (ECCV 2022)
lsolano/triplex
Validation library inspired by the concepts of Secure by Design, by Dan Bergh Johnsson, Daniel Deogun, and Daniel Sawano (MEAP 2019 Manning Publications).
trajectory-invariants/trajectory-invariants.github.io
Website of Trajectory Invariants.