GitHub topics: invariants
gustavo-grieco/abdk-math-64.64-verification
Formal verification effort for the ABDK Math 64.64 library properties using Echidna/hevm
Language: Solidity - Size: 40 KB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 0 - Forks: 0
munoabr8/structural-drift-toolchain
Pre-commit structural drift tool. Intent is to compliement Git and mature solutions(ie Terra-form)
Language: Shell - Size: 800 KB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 0 - Forks: 0
mojtaba-eshghie/Sindi
Δ Sindi: Semantic Invariant Differencing for Solidity Smart Contracts
Language: Solidity - Size: 4.07 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 9 - Forks: 1
cowwoc/requirements.js
Fluent Design by Contract for Javascript APIs
Language: TypeScript - Size: 4.04 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 9 - Forks: 0
mchalapuk/offensive.js
:facepunch: Human-readable, fast and boilerplate-free contract programming (precondition checks) for JavaScript.
Language: TypeScript - Size: 1.07 MB - Last synced at: 8 days ago - Pushed at: 9 days ago - Stars: 9 - Forks: 2
cowwoc/requirements.java
Fluent Design Contracts for Java Projects
Language: Java - Size: 9.78 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 27 - Forks: 2
mbrandonw/my-math-notes
All of my math stuff from grad school.
Language: TeX - Size: 3.74 MB - Last synced at: 5 days ago - Pushed at: over 7 years ago - Stars: 53 - Forks: 8
greyblake/nutype
Rust newtype with guarantees 🇺🇦 🦀
Language: Rust - Size: 1.26 MB - Last synced at: 27 days ago - Pushed at: 27 days ago - Stars: 1,604 - Forks: 28
php-deal/framework
Design by Contract framework for PHP
Language: PHP - Size: 144 KB - Last synced at: 19 days ago - Pushed at: over 3 years ago - Stars: 253 - Forks: 21
aziis98/kauffman-polynomial
Course Project: Computational Laboratory - Implementation of the knot theory Kauffman polynomial regular isotopy invariant in Python
Language: Python - Size: 4.95 MB - Last synced at: 22 days ago - Pushed at: 3 months ago - Stars: 2 - Forks: 0
trajectory-invariants/invariants_py
Calculate invariant trajectory representations from trajectory data and generate new trajectories from the invariants.
Language: Jupyter Notebook - Size: 3.08 MB - Last synced at: 1 day ago - Pushed at: 3 months ago - Stars: 5 - Forks: 0
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).
Language: C# - Size: 549 KB - Last synced at: 15 days ago - Pushed at: 3 months ago - Stars: 2 - Forks: 0
NorfairKing/validity
Validity and validity-based testing
Language: Haskell - Size: 1.46 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 160 - Forks: 31
seahorn/crab
A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.
Language: C++ - Size: 6.79 MB - Last synced at: 3 months ago - Pushed at: 11 months ago - Stars: 241 - Forks: 32
ddd-by-examples/factory
The missing, complete example of Domain-Driven Design enterprise application backed by Spring stack
Language: Java - Size: 9.33 MB - Last synced at: 4 months ago - Pushed at: over 3 years ago - Stars: 1,359 - Forks: 272
SaswatPadhi/LoopInvGen 📦
Generates loop invariants for program verification
Language: OCaml - Size: 3.91 MB - Last synced at: 18 days ago - Pushed at: over 4 years ago - Stars: 62 - Forks: 20
seahorn/clam
Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev14.
Language: C - Size: 4.02 MB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 279 - Forks: 39
wrsturgeon/sigma-types
Types automatically checked for invariants in debug builds only.
Language: Rust - Size: 198 KB - Last synced at: 6 days ago - Pushed at: 6 months ago - Stars: 2 - Forks: 0
anajuliabit/euler_hack_poc
Euler Incident POC
Language: HTML - Size: 547 KB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 0
disintegrator/inv
Runtime assertions for your invariants in Go.
Language: Go - Size: 11.7 KB - Last synced at: 6 days ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 1
SonicStark/SanInvs
SanitizerInvariants - Instrumenting a program to infer invariants with Daikon, on the top of LLVM compiler infrastructure
Size: 135 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
LarsDoorenbos/Nonlinear-invariants
Repository for "Learning Non-Linear Invariants for Unsupervised Out-of-Distribution Detection" (ECCV 2024)
Language: Python - Size: 375 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
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.
Language: Python - Size: 148 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 21 - Forks: 3
bluntbrain/invariant-testing-foundry
A comprehensive guide to Foundry's testing capabilities including Fuzz Testing and Invariant Testing
Language: Solidity - Size: 123 KB - Last synced at: 4 months ago - Pushed at: 8 months ago - Stars: 2 - Forks: 1
cbz20/khtpp
computing Khovanov invariants for links and tangles
Language: C++ - Size: 679 KB - Last synced at: about 2 months ago - Pushed at: 9 months ago - Stars: 5 - Forks: 0
LarsDoorenbos/NCIS
Repository for "Non-Linear Outlier Synthesis for Out-of-Distribution Detection"
Language: Python - Size: 2.7 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0
trajectory-invariants/invariants_mat
Matlab implementation of Trajectory Invariants.
Language: MATLAB - Size: 3.27 MB - Last synced at: 5 months ago - Pushed at: 10 months ago - Stars: 4 - Forks: 1
francoriba/PetriNets-Case-of-Application
Final project for concurrent programming at @FCEFyN, UNC, Argentina.
Language: Java - Size: 1.83 MB - Last synced at: 6 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
calebwin/rep
enforce representation/class invariants in your Rust data structures
Language: Rust - Size: 52.1 MB - Last synced at: 24 days ago - Pushed at: over 2 years ago - Stars: 12 - Forks: 1
cgrade/FundMe
The FundMe project is a decentralized funding contract built on the Ethereum blockchain. It allows users to fund the contract with ETH and enables the owner to withdraw the funds. The project utilizes Chainlink's price feeds to ensure that the funding amounts meet a minimum threshold in USD.
Language: Solidity - Size: 11.7 KB - Last synced at: 6 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0
AndrewBartholomew62/Andrew-Bartholomew-braid
A programme for calculating invariants and maipulating codes for various categories of knots and links
Language: C++ - Size: 1.52 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 2 - Forks: 0
trajectory-invariants/trajectory-invariants.github.io
Website of Trajectory Invariants.
Language: CSS - Size: 3.05 MB - Last synced at: 4 months ago - Pushed at: 12 months ago - Stars: 2 - Forks: 0
whydenyscry/Stress-Tensor-Matlab
Stress tensor, hydrostatic stress tensor, deviatoric stress tensor, invariants of stress tensor and deviatoric stress tensor, principal stresses, von Mises stress and Mohr's diagram in Matlab for the case when all components of stress tensor are given.
Language: MATLAB - Size: 555 KB - Last synced at: 6 months ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
jjwsteele/denuto
Design by contract for JavaScript
Language: JavaScript - Size: 64.5 KB - Last synced at: 8 days ago - Pushed at: over 7 years ago - Stars: 7 - Forks: 1
Aboudoc/weth-invariant-testing
Invariant tests for Wrapped Ether, one of the most important contracts on mainnet.
Language: Solidity - Size: 18.6 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
danstam/security-audit-portfolio
Welcome to my Security Audit Repository! Here, you'll find a collection of security audit reports conducted by me
Size: 1.48 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
matiashrnndz/programming-logic-with-dafny
Tesis: Lógica de Programación con Dafny
Language: Dafny - Size: 809 KB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
matiashrnndz/programming-logic-with-key-n-dafny
Lógica de Programación con KeY y Dafny
Language: Java - Size: 641 KB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
ibourn/foundry-defi-stablecoin
Cyfrin-Updraft foundry course
Language: Solidity - Size: 48.8 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
RyanFin/DataStructures-and-Algorithms-eclipse
Eclipse Implementation of Data Structures and Algorithms by Robert Lafore
Language: Java - Size: 58.6 KB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
electric-sql/legacy-vaxine 📦
Vaxine provides rich-CRDT features on top of Antidote.
Language: Elixir - Size: 19.5 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 15 - Forks: 0
nepiskopos/image-classification-moment-invariants
Pattern recognition image classification using moment invariants.
Language: MATLAB - Size: 93.8 KB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 1
Dabudabot/whyapp 📦
Innopolis University - Models course. WhyApp is a WhatsApp clone to get used to formal methods.
Language: Java - Size: 524 KB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 3 - Forks: 0
Eldadkro/ShapeOfData
code and knowlage related to the paper "can we see the shape of our data?"
Language: Jupyter Notebook - Size: 21.3 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
sheppieboy/invariant-weth
Invariant testing repo for WETH, based on horsefacts repo
Language: Solidity - Size: 25.4 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
gggauravgandhi/invariants
A way to provide descriptive errors in development but generic errors in production.
Language: JavaScript - Size: 9.77 KB - Last synced at: about 1 month ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 0
oliverlee/constrained_value
Embed invariants into types
Language: C++ - Size: 50.8 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
lth-elm/vault-account
Getting the hang of Foundry.
Language: Solidity - Size: 34.2 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
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.
Language: C# - Size: 2.72 MB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 3 - Forks: 1
classicwuhao/qmaxuse
QMaxUSE: A query-based verification tool for verifying UML class diagrams with extreme size of OCL invariants.
Language: SMT - Size: 268 MB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 7 - Forks: 1
aidevnn/AbelianDecompositon
Abelian Finite Groups decomposition
Language: C# - Size: 21.5 KB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0
JoshuaJakowlew/constrained
Utility library that helps expressing invariants in types
Language: C++ - Size: 24.4 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 7 - Forks: 0
petergeoghegan/amcheck 📦
contrib/amcheck from Postgres v11 backported to earlier Postgres versions
Language: C - Size: 160 KB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 75 - Forks: 8
derbent-ninjas/invariant-composer
Convenient Invariant functor and several helper functions for validation
Language: TypeScript - Size: 129 KB - Last synced at: 18 days ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 0
praise106-research/Achar-Tool
Invariant Generation modulo opaue operations
Language: C - Size: 99.9 MB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 1
mutility/assume
Assertion package with conditional panics for go.
Language: Go - Size: 5.86 KB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
divyeshunadkat/PARQ Fork of freqhorn/freqhorn
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.
Language: SMT - Size: 3.1 MB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 2 - Forks: 0
pmorvalho/InvAASTCluster
InvAASTCluster: AASTs and Invariant-Based Program Clustering
Language: C - Size: 1.4 MB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
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
Language: OCaml - Size: 13.7 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0
s-brez/dragon-knight-states
Brute force solution to dragon and knight problem: A dragon has 100 heads. A knight can cut off 15, 17, 20, or 5 heads, respectively, with one blow of his sword. In each of these cases 24, 2, 14, or 17 new heads grow on its shoulders, respectively. If all heads are cut off, the dragon dies. Can the dragon ever die?
Language: Python - Size: 4.88 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
RandyRDavila/Linear_TxGraffiti
A python program that automatically produces mathematical conjectures in the field of graph theory.
Language: Python - Size: 219 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
elkaRD/TKOM_ParserAndInvariantsOptimizer
Project for the ‘Compilation Techniques’ course on 6th semester. Firstly I defined the grammar of my own language. Then I implemented a lexical analyzer, parser and semantic analyzer. These modules generate the syntax tree of the given source code (or display the error line with the description of the error). If the source code is correct, the next module (the optimizer) optimizes the syntax tree by detecting invariants in the loops and moving them before the loop. After optimization, the app generates new code based on the modified syntax tree.
Language: Java - Size: 1.34 MB - Last synced at: 6 months ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0
ThomasLeMezo/invariant-lib
Invariant is a guaranteed library to compute invariants associated to dynamical systems
Language: C++ - Size: 1.66 MB - Last synced at: 8 months ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 1
ChrisTimperley/SpecMiners.py
A simple Python wrapper around several popular specification mining tools
Language: BlitzBasic - Size: 1.63 MB - Last synced at: 7 months ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
jonnor/agree
Introspectable Contracts Programming for JavaScript
Language: CoffeeScript - Size: 134 KB - Last synced at: about 1 month ago - Pushed at: over 8 years ago - Stars: 13 - Forks: 0
DependableSystemsLab/LLFI-IPA
Language: C++ - Size: 15.7 MB - Last synced at: over 1 year ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0
unitb/invariants
Invariants and contract monitoring
Language: Haskell - Size: 27.3 KB - Last synced at: over 2 years ago - Pushed at: over 8 years ago - Stars: 1 - Forks: 0
