Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/life4/deal
π€ Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
contracts contracts-programming dbc deal decorators design-by-contract flake8 functional-programming hacktoberfest interface invariant linter mypy property-based-testing python pythonic refinement-types testing typing validation
Last synced: 22 May 2024
![](https://github.com/life4.png)
https://github.com/alexreardon/tiny-invariant
A tiny invariant function
assert assertion invariant type-guard
Last synced: 11 May 2024
![](https://github.com/alexreardon.png)
https://github.com/greyblake/nutype
Rust newtype with guarantees πΊπ¦ π¦
data data-structures invariance invariant invariants macro macros newtype rust rust-lang rust-library sanitization sanitizer typesafety validation validator web
Last synced: 29 Apr 2024
![](https://github.com/greyblake.png)
https://github.com/xodio/hm-def
Runtime type checking for JS with Hindley Milner signatures
functional-programming hindley-milner invariant javascript type-checking
Last synced: 27 Apr 2024
![](https://github.com/xodio.png)
https://github.com/QUVA-Lab/escnn
Equivariant Steerable CNNs Library for Pytorch https://quva-lab.github.io/escnn/
deep-learning equivariance geometric-deep-learning geometry invariant isometries pytorch rotations symmetries
Last synced: 24 Mar 2024
![](https://github.com/QUVA-Lab.png)