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

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™.

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.

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

Design by Contract library for PHP

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

Eat redux state container like 🍑

📈Repositório da Disciplina EEL7052 - Sistemas Lineares

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.

Set of functions to make your TypeScript/JavaScript code safer

Simple and fast contract checks

Invariant Telecom Website

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

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

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.

a c# library for working with strings

Invariant assertions implemented as babel-plugin-macros macro.