5 results found Sort:

alexreardon
tiny-invariant alexreardon
46
1.8k
mit
9
A tiny invariant function
assert assertion invariant type-guard
Created 2018-04-17
178 commits to master branch, last one 10 months ago
greyblake
nutype greyblake
24
1.5k
mit
5
Rust newtype with guarantees 🇺🇦 🦀
web data rust macro macros newtype invariant rust-lang sanitizer validator invariance invariants typesafety validation rust-library sanitization data-structures
Created 2022-10-09
555 commits to master branch, last one 23 days ago
life4
deal life4
26
771
mit
14
🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
dbc deal mypy flake8 linter python typing testing pythonic contracts interface invariant decorators validation hacktoberfest refinement-types design-by-contract contracts-programming functional-programming property-based-testing
Created 2018-01-25
1,279 commits to master branch, last one 2 months ago
QUVA-Lab
escnn QUVA-Lab
49
389
other
18
Equivariant Steerable CNNs Library for Pytorch https://quva-lab.github.io/escnn/
pytorch geometry invariant rotations isometries symmetries equivariance deep-learning geometric-deep-learning
Created 2022-03-16
247 commits to master branch, last one 3 months ago
xodio
hm-def xodio
11
198
mit
7
Runtime type checking for JS with Hindley Milner signatures
invariant javascript type-checking hindley-milner functional-programming
Created 2017-02-17
86 commits to master branch, last one 5 years ago