TLA+
tlaplus
TLA+ is a formal specification language developed to design, model, document, and verify reactive systems.
Bellingcat
bellingcat
An independent investigative collective of researchers, investigators and citizen journalists brought together by a passion for open source research.
Shivji Kumar Jha
shiv4289
Distributed storage, Database Internals (OLTP/OLAP/streaming) and Open Source, Cloud
Nutanix Bangalore