- ๐ Hi, Iโm @NikolaBorisov
- CEO Co-founder @Deep Infra
- Founding member of HalloApp
- Ex. Engineering Director at imo.im
- ๐ Iโm interested in Distributed systems and Machine Learning
- ๐ซ https://www.linkedin.com/in/nikola-borisov/
nikolaborisov / plt-scheme-contracts-random-tests Goto Github PK
View Code? Open in Web Editor NEWGenerating random inputs based on the contract and testing if the module will break the contract