invariant

Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.

Runtime type checking for JS with Hindley Milner signatures

Fader Networks for domain adaptation on fMRI: ABIDE-II study

Scale & Rotate invariant Image matching using Openframewrks.

Babel plugin to remove invariant arguments not needed during production builds.

An algorithm that is completely robust to Intensity/ Brightness varied copy move forgery is proposed in this algorithm.

Decorator Contracts is a library that provides the ability to create and assign Code Contracts to ECMAScript and TypeScript classes. This enables enforcement of the Liskov substitution principle and the Open-closed principle of SOLID to support Design By Contract™.

Design by Contract library for PHP

Eat redux state container like 🍑

Simple library designed to ease accessing of general memory location using usual stream interface.

For the first time in the research history of copy move forgery detection(CMFD), we propose an algorithm that can successfully detect copy-rescale-move forgery.

A way to provide descriptive errors in development but generic errors in production for go programs.

Set of functions to make your TypeScript/JavaScript code safer

An implementation of Facebook's invariant() function built on top of Boom errors

Invariant Telecom Website

Invariant assertions implemented as babel-plugin-macros macro.

Declarative errors throwing for Node.js

Udemy course

Simple and fast contract checks

Generic invariant computer. This program calculates one dimension on invariant structure from given series if parameter is valid. close with this.

📈Repositório da Disciplina EEL7052 - Sistemas Lineares

Implementation and validation of the model checking of various Distributed System algorithms like BenOr, Paxos, etc. using PlusCal and TLA+, also analyze the temporal and invariant properties.