5 results found Sort:

alexreardon
tiny-invariant alexreardon
48
1.7k
mit
9
A tiny invariant function
assert assertion invariant type-guard
Created 2018-04-17
178 commits to master branch, last one 6 months ago
greyblake
nutype greyblake
23
1.4k
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
520 commits to master branch, last one 6 days ago
life4
deal life4
25
732
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,276 commits to master branch, last one 6 months ago
QUVA-Lab
escnn QUVA-Lab
46
347
other
19
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
246 commits to master branch, last one 9 days ago
xodio
hm-def xodio
11
198
mit
8
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 4 years ago