deal topic

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

life4

PyTorch implementation of the descriptor DEAL presented at NeurIPS 2021 "Extracting Deformation-Aware Local Features by Learning to Deform".

verlab

🛡 Linter for Go that checks static call arguments against the function guards (aka contracts).

orsinium-labs

Filecoin deal proposal / making service

application-research