invariant
Here are 28 public repositories matching this topic...
Rust newtype with guarantees 🇺🇦 🦀
-
Updated
Apr 7, 2024 - Rust
🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
-
Updated
Mar 24, 2024 - Python
Equivariant Steerable CNNs Library for Pytorch https://quva-lab.github.io/escnn/
-
Updated
Dec 18, 2023 - Python
Runtime type checking for JS with Hindley Milner signatures
-
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™.
-
Updated
Jan 15, 2024 - TypeScript
Fader Networks for domain adaptation on fMRI: ABIDE-II study
-
Updated
Oct 15, 2020 - Jupyter Notebook
Eat redux state container like 🍑
-
Updated
May 2, 2019 - JavaScript
An algorithm that is completely robust to Intensity/ Brightness varied copy move forgery is proposed in this algorithm.
-
Updated
Jun 6, 2018 - MATLAB
Matlab implementation of Trajectory Invariants.
-
Updated
Apr 11, 2024 - MATLAB
Set of functions to make your TypeScript/JavaScript code safer
-
Updated
Oct 25, 2020 - TypeScript
Simple and fast contract checks
-
Updated
May 7, 2024 - Java
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.
-
Updated
Sep 27, 2020 - TLA
Improve this page
Add a description, image, and links to the invariant topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the invariant topic, visit your repo's landing page and select "manage topics."