A tiny invariant function

assert invariant assertion type-guard

• Updated Jul 25, 2024
• TypeScript

Rust newtype with guarantees 🇺🇦 🦀

rust sanitization data validation web validator macros data-structures rust-lang rust-library invariants macro invariant sanitizer newtype typesafety invariance

• Updated Sep 20, 2026
• Rust

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

python testing validation interface functional-programming linter decorators typing property-based-testing flake8 refinement-types pythonic contracts-programming contracts invariant hacktoberfest mypy dbc design-by-contract deal

• Updated Nov 30, 2025
• Python

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

deep-learning geometry pytorch invariant geometric-deep-learning isometries equivariance rotations symmetries

• Updated Oct 31, 2024
• Python

Runtime type checking for JS with Hindley Milner signatures

javascript functional-programming type-checking invariant hindley-milner

• Updated Dec 3, 2022
• JavaScript

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

overrides solid decorators precondition postcondition invariant assertion rescue encapsulation liskov-substitution-principle exception-handling code-contracts design-by-contract requires demands behavioral-subtyping organized-panic material-implication if-and-only-if

• Updated Feb 7, 2026
• TypeScript

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

typescript type-guards assert invariant narrowing

• Updated Nov 8, 2026
• TypeScript

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

domain abide mri representation fmri invariant 3dcnn adaptation fader-networks abide-data

• Updated Oct 15, 2020
• Jupyter Notebook

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

python robotics optimization kinematics differential-geometry trajectory-generation invariants invariant trajectory-optimization optimal-control trajectory-analysis trajectory-planning invariance casadi screw-theory trajectory-representation coordinate-invariant geometric-optimal-control frenet-serret

• Updated May 6, 2026
• Jupyter Notebook

Matlab implementation of Trajectory Invariants.

optimization motion differential-geometry trajectory-generation invariants invariant optimal-control trajectory-planning invariance invariants-mat

• Updated Nov 5, 2024
• MATLAB

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

lazarus delphi pascal stream memory static fpc invariant object-pascal

• Updated Sep 13, 2024
• Pascal

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

plugin babel invariant

• Updated Jun 14, 2018
• JavaScript

Yet another invariant package that does it all

error-handling assert zero-dependency strict invariant assertion type-guard type-narrowing

• Updated Oct 22, 2026
• TypeScript

📈Repositório da Disciplina EEL7052 - Sistemas Lineares

time lab systems linear signal invariant sistemas sinais lineares eel7052

• Updated Oct 23, 2020
• MATLAB

[WIP] Design by Contract library for PHP

php verify design-by-contracts contracts invariant dbc ensure

• Updated Apr 2, 2022
• PHP

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

computer-vision matlab brightness intensity invariant copy-move forgery-detection

• Updated Jun 6, 2018
• MATLAB

Eat redux state container like 🍑

redux redux-middleware redux-thunk immutablejs invariant redux-actions asyncactions

• Updated May 2, 2019
• JavaScript

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

dependent-types proof theorem-proving mathematics drug-discovery agda alloy invariant formal-verification bifurcation protein-folding mathlib liquid-haskell lean4 curry-howard

• Updated Oct 15, 2026
• Haskell

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

golang invariant

• Updated Oct 9, 2018
• Go

Types automatically checked for invariants in debug builds only.

testing rust test type-theory rust-lang testing-tools invariants invariant

• Updated Feb 28, 2025
• Rust