COLLECTED BY
Organization:
Internet Archive
Focused crawls are collections of frequently-updated webcrawl data from narrow (as opposed to broad or wide) web crawls, often focused on a single domain or subdomain.
The Wayback Machine - https://web.archive.org/web/20200810152918/https://github.com/topics/invariants
Here are
23 public repositories
matching this topic...
The missing, complete example of Domain-Driven Design enterprise application backed by Spring stack
Updated
Dec 21, 2018
Java
Design by Contract framework for PHP
Static Analyzer for LLVM bitcode based on Abstract Interpretation
Validity and validity-based testing
Updated
Aug 1, 2020
Haskell
contrib/amcheck from Postgres v11 backported to earlier Postgres versions
All of my math stuff from grad school.
Generates loop invariants for program verification
Updated
Aug 8, 2020
OCaml
Introspectable Contracts Programming for JavaScript
Updated
Jan 6, 2017
CoffeeScript
👊 Human-readable, fast and boilerplate-free contract programming (precondition checks) for JavaScript.
Updated
Aug 6, 2020
TypeScript
enforce representation/class invariants in your Rust data structures
Design by contract for JavaScript
Updated
Mar 5, 2018
JavaScript
A tool for generating nonlinear numerical invariants for C and Java programs. DIG uses dynamic analysis to infer invariants over program execution traces and applies symbolic execution to inferred invariants.
Updated
Jul 19, 2020
Python
Fluent Design by Contract for Java APIs
Updated
Jun 27, 2020
Java
Fluent Design by Contract for Javascript APIs
Updated
Aug 2, 2020
JavaScript
Invariants and contract monitoring
Updated
Apr 17, 2017
Haskell
A way to provide descriptive errors in development but generic errors in production.
Updated
Dec 17, 2017
JavaScript
MaxUSE: An Automatic Tool for Finding Achievable Features and Constraint Conflicts.
Innopolis University - Models course. WhyApp is a WhatsApp clone to get used to formal methods.
A simple Python wrapper around several popular specification mining tools
Updated
Apr 15, 2020
BlitzBasic
Invariant is a guaranteed library to compute invariants associated to dynamical systems
Source code of submitted paper : Automatic Search of Subspace Trails for Lightweight Block Ciphers
System.ComponentModel.Annotations.Validation is a extension of System.ComponentModel validation engine. Supports validation of properties and invariants for object graphs.
Improve this page
Add a description, image, and links to the
invariants
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
invariants
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session.
You signed out in another tab or window. Reload to refresh your session.
