A tiny invariant function

Rust newtype with guarantees 🇺🇦 🦀

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

Equivariant Steerable CNNs Library for Pytorch https://quva-lab.github.io/escnn/

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.

[WIP] Design by Contract library for PHP

Eat redux state container like 🍑

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

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.

📈Repositório da Disciplina EEL7052 - Sistemas Lineares

Set of functions to make your TypeScript/JavaScript code safer

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

Matlab implementation of Trajectory Invariants.

Simple and fast contract checks

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.