invariant topic

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

life4

Runtime type checking for JS with Hindley Milner signatures

xodio

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

QUVA-Lab

A tiny invariant function

alexreardon

Rust newtype with guarantees 🇺🇦 🦀

greyblake