invariant topic
List
invariant repositories
trafficstars
deal
703
Stars
24
Forks
Watchers
🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
hm-def
197
Stars
11
Forks
Watchers
Runtime type checking for JS with Hindley Milner signatures
escnn
347
Stars
46
Forks
Watchers
Equivariant Steerable CNNs Library for Pytorch https://quva-lab.github.io/escnn/
tiny-invariant
1.6k
Stars
40
Forks
Watchers
A tiny invariant function
nutype
1.2k
Stars
19
Forks
Watchers
Rust newtype with guarantees 🇺🇦 🦀
decorator-contracts
15
Stars
2
Forks
Watchers
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 t...