invariant

There are 0 repository under invariant topic.

• alexreardon / tiny-invariant

  A tiny invariant function

  assertassertioninvarianttype-guard
  Language:TypeScript 1862
• nutype

  greyblake / nutype

  Rust newtype with guarantees 🇺🇦 🦀

  datadata-structuresmacromacrosnewtyperustrust-langrust-librarysanitizationsanitizertypesafetyvalidationvalidatorwebinvariantinvariantsinvariance
  Language:Rust 1615

• life4 / deal

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

  pythoncontractsinvariantcontracts-programmingdecoratorsfunctional-programmingdesign-by-contractpythonicdealvalidationinterfacelinterflake8property-based-testingdbcmypytypingrefinement-typestestinghacktoberfest
  Language:Python 844

• QUVA-Lab / escnn

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

  deep-learningequivarianceisometriespytorchsymmetriesrotationsgeometric-deep-learninggeometryinvariant
  Language:Python 467

• xodio / hm-def

  Runtime type checking for JS with Hindley Milner signatures

  functional-programminghindley-milnerinvariantjavascripttype-checking
  Language:JavaScript 199

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

  behavioral-subtypingassertioncode-contractsdecoratorsdemandsdesign-by-contractencapsulationexception-handlinginvariantliskov-substitution-principleorganized-panicoverridespreconditionpostconditionrescuerequiressolidmaterial-implicationif-and-only-if
  Language:TypeScript 18

• kondratevakate / fmri-fader-net

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

  3dcnnabideabide-dataadaptationdomainfader-networksfmriinvariantmrirepresentation
  Language:Jupyter Notebook 12

• bemoregt / gpLogPolarPOC

  Scale & Rotate invariant Image matching using Openframewrks.

  logpolarlogpolarpocphasecorrelationimagematchingrotationscaleinvariantopencvopenframeworks
  Language:C++ 9

• flasd / babel-plugin-strip-invariant

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

  babelinvariantplugin
  Language:JavaScript 5

• TheLazyTomcat / lib.StaticMemoryStream

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

  delphifpcinvariantlazarusmemoryobject-pascalpascalstaticstream
  Language:Pascal 5

• trajectory-invariants / invariants_mat

  Matlab implementation of Trajectory Invariants.

  differential-geometryinvarianceinvariantinvariantsmotionoptimal-controloptimizationtrajectory-generationtrajectory-planninginvariants-mat
  Language:MATLAB 5

• trajectory-invariants / invariants_py

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

  invariantstrajectory-generationtrajectory-optimizationcasadidifferential-geometryinvarianceinvariantkinematicsoptimal-controloptimizationpythonroboticsscrew-theorytrajectory-analysistrajectory-planningtrajectory-representationcoordinate-invariantfrenet-serretgeometric-optimal-control
  Language:Jupyter Notebook 5

• borvelt / redux-peach

  Eat redux state container like 🍑

  reduximmutablejsredux-actionsinvariantredux-thunkredux-middlewareasyncactions
  Language:JavaScript 3

• SerafimArts / Contracts

  [WIP] Design by Contract library for PHP

  phpdbcdesign-by-contractscontractsverifyensureinvariant
  Language:PHP 3

• Tejas1415 / Intensity-Brightness-Invariant-CMFD

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

  copy-moveforgery-detectionmatlabcomputer-visionbrightnessintensityinvariant
  Language:MATLAB 3

• GSimas / EEL7052

  📈Repositório da Disciplina EEL7052 - Sistemas Lineares

  sinaissistemaslineareseel7052signalsystemslineartimeinvariantlab
  Language:MATLAB 2

• kyarik / circumspect

  Set of functions to make your TypeScript/JavaScript code safer

  typescriptinvariantwarningassert-nevernon-nulljavascript
  Language:TypeScript 2

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

  copy-moveforgerydetectionrescaleinvariantfeaturesmatlabcomputer-vision
  Language:MATLAB 2

• theodesp / go-invariant

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

  golanginvariant
  Language:Go 2

• wrsturgeon / sigma-types

  Types automatically checked for invariants in debug builds only.

  invariantinvariantsrustrust-langtesttestingtesting-toolstype-theory
  Language:Rust 2
• AnalyticalFourierMellinTransform

  emnaghorbel / AnalyticalFourierMellinTransform

  Fourier-Mellin-based features combine the advantages of both Fourier and Mellin transforms to capture key information about an object's shape while being invariant to translation, scaling, and rotation.

  features-extractiongrayscale-imagesinvariant
  Language:Python 1

• Gulfam92 / DistributedSystems-Algorithms-ModelChecking

  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.

  distributed-systemspluscaltlaplusconsensus-algorithminvarianttemporal-logicdecentralized-applicationsconsensus-protocol
  Language:TLA 1

• invariant-telecom / invariant-telecom.github.io

  Invariant Telecom Website

  invariantinvariant-telecomwebsite
  Language:HTML 1
• jaffirm

  io7m-com / jaffirm

  Simple and fast contract checks

  preconditionpostconditioninvariantcontract
  Language:Java 1

• grega913 / node-tests

  Udemy course

  expextinvariantmocharewiresupertestbabelexpressudemy-tutorial
  Language:JavaScript 0

• stefanherdy / IIC

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

  clusteringinformationinvariantinvariant-information-clusteringsegmentationsemanticunsupervised
  Language:Python 0

• Tutusaus / Knot_Theory

  This repository contains my bachelor's thesis on knot theory, with a focus on the Jones polynomial and its role in classifying knots. The research covers essential knot invariants and their applications in areas like DNA structure and quantum computing.

  thesismathematicsgenusjones-polynomialknot-theoryinvariant
  Language:TeX 0

• AhmedTarekHasan / CovarianceAndContravarianceInDotNetCSharp

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

  dotnetcsharpcodecodingprogrammingcovariancecontravarianceinvariantvariancecovariantcontravariantinvariance

• bitsofcotton / p1

  Predictor up to aleph_0.

  invariant
  Language:C++
• StringHelper.Net

  forReason / StringHelper.Net

  a c# library for working with strings

  stringinvariantstring-manipulationstring-matching
  Language:C#

• octet-stream / invariant

  Declarative errors throwing for Node.js

  invarianterror-handlingerror-throwingjavascriptjavascript-librarynodejsformatsprintf
  Language:JavaScript

• vasiliicuhar / invariant.macro

  Invariant assertions implemented as babel-plugin-macros macro.

  babel-plugin-macroserrorinvariant
  Language:JavaScript