invariant

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

A lightweight TypeScript library providing type-safe assertions, type guards, and error handling utilities.

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

Calculate invariant trajectory representations from trajectory data and generate new trajectories from the invariants.

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

Matlab implementation of Trajectory Invariants.

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

📈Repositório da Disciplina EEL7052 - Sistemas Lineares

Yet another invariant package that does it all

[WIP] 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 🍑

The protein folding bifurcation invariant — proved in Lean, checked in Alloy, drawn in Agda, refined in Liquid Haskell, purified in Curry-Howard.

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

Types automatically checked for invariants in debug builds only.