Project Lens is an alpha-level demo. The data sets are incomplete and imbalanced and algorithm parameters are being tuned. Results should thus be considered directional. Want to provide feedback, request features, or collaborate?

Runtime Vеrification

Runtime Vеrification

runtimeverification.com

We apply formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.

4206 followers

Lens Rankings

Crypto

#317	0.000414	Crypto Infrastructure
#436	0.000441	Public Goods Funding
#589	0.000257	Ethereum
#796	0.000096	Decentralized Finance (DeFi)

Automatically Detected Communities