Simple and fast contract checks
-
Updated
May 21, 2024 - Java
Simple and fast contract checks
Matlab implementation of Trajectory Invariants.
Rust newtype with guarantees 🇺🇦 🦀
a c# library for working with strings
🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
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™.
Have hard time understanding it? Let me simplify it for you.
Equivariant Steerable CNNs Library for Pytorch https://quva-lab.github.io/escnn/
This is a code implementation of the paper Invariant Information Clustering for Unsupervised Image Classification and Segmentation
Declarative errors throwing for Node.js
Runtime type checking for JS with Hindley Milner signatures
Invariant assertions implemented as babel-plugin-macros macro.
Set of functions to make your TypeScript/JavaScript code safer
Fader Networks for domain adaptation on fMRI: ABIDE-II study
Add a description, image, and links to the invariant topic page so that developers can more easily learn about it.
To associate your repository with the invariant topic, visit your repo's landing page and select "manage topics."