GitHub topics: invariant

Repositories

alexreardon/tiny-invariant

A tiny invariant function

Language: TypeScript - Size: 1.16 MB - Last synced at: 3 days ago - Pushed at: about 1 year ago - Stars: 1,848 - Forks: 47

io7m-com/jaffirm

Simple and fast contract checks

Language: Java - Size: 1.7 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 1 - Forks: 1

bitsofcotton/p1 📦

Predictor up to aleph_0.

Language: C++ - Size: 2.45 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 0 - Forks: 0

life4/deal

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

Language: Python - Size: 1.95 MB - Last synced at: 8 days ago - Pushed at: 2 months ago - Stars: 826 - Forks: 33

QUVA-Lab/escnn

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

Language: Python - Size: 33.2 MB - Last synced at: 12 days ago - Pushed at: 10 months ago - Stars: 460 - Forks: 57

greyblake/nutype

Rust newtype with guarantees 🇺🇦 🦀

Language: Rust - Size: 1.26 MB - Last synced at: 28 days ago - Pushed at: 28 days ago - Stars: 1,604 - Forks: 28

trajectory-invariants/invariants_py

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

Language: Jupyter Notebook - Size: 3.08 MB - Last synced at: 2 days ago - Pushed at: 3 months ago - Stars: 5 - Forks: 0

final-hill/decorator-contracts

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

Language: TypeScript - Size: 1.43 MB - Last synced at: 3 days ago - Pushed at: 4 months ago - Stars: 17 - Forks: 2

xodio/hm-def

Runtime type checking for JS with Hindley Milner signatures

Language: JavaScript - Size: 759 KB - Last synced at: 18 days ago - Pushed at: almost 3 years ago - Stars: 199 - Forks: 11

forReason/StringHelper.Net

a c# library for working with strings

Language: C# - Size: 1.62 MB - Last synced at: 19 days ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

wrsturgeon/sigma-types

Types automatically checked for invariants in debug builds only.

Language: Rust - Size: 198 KB - Last synced at: 6 days ago - Pushed at: 6 months ago - Stars: 2 - Forks: 0

AnotherRusty/LAIKA_Buy_Tracking_Bot_Intro

A bot designed to track and provide key data for the LAIKA cryptocurrency token on the Eclipse Network.

Language: TypeScript - Size: 5.6 MB - Last synced at: 6 months ago - Pushed at: 10 months ago - Stars: 1 - Forks: 0

trajectory-invariants/invariants_mat

Matlab implementation of Trajectory Invariants.

Language: MATLAB - Size: 3.27 MB - Last synced at: 5 months ago - Pushed at: 10 months ago - Stars: 4 - Forks: 1

TheLazyTomcat/lib.StaticMemoryStream

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

Language: Pascal - Size: 13.7 KB - Last synced at: 2 months ago - Pushed at: 12 months ago - Stars: 5 - Forks: 5

SerafimArts/Contracts

[WIP] Design by Contract library for PHP

Language: PHP - Size: 108 KB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 0

AhmedTarekHasan/CovarianceAndContravarianceInDotNetCSharp

Have hard time understanding it? Let me simplify it for you.

Size: 2.93 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

stefanherdy/IIC

This is a code implementation of the paper Invariant Information Clustering for Unsupervised Image Classification and Segmentation

Language: Python - Size: 22.1 MB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

bemoregt/gpLogPolarPOC

Scale & Rotate invariant Image matching using Openframewrks.

Language: C++ - Size: 5.8 MB - Last synced at: almost 2 years ago - Pushed at: about 6 years ago - Stars: 6 - Forks: 3

Tejas1415/Rescale-Invariant-CMFD

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.

Language: Matlab - Size: 12.7 KB - Last synced at: almost 2 years ago - Pushed at: almost 7 years ago - Stars: 2 - Forks: 0