TLA+
tlaplus
TLA+ is a formal specification language developed to design, model, document, and verify reactive systems.
Kate Temkin
ktemkin
Hardware hacker(s) & low-level engineer(s). Focus: tools to help you do cool things.
Archived repos @ktemkin-archive.
Avatar by https://twitter.com/feyrah
Denver, CO
OpenBMC
openbmc
A Linux Foundation Project open-source Baseboard Management Controllers (BMC) Firmware Stack
Stewart Smith
stewartsmith
Principal Software Engineer at Amazon.
Amazon Linux.
Previously: OpenPOWER, Drizzle, MySQL.
Amazon Web Services Inc. Seattle, WA, USA
George Keishing
gkeishin
Firmware & Test Tool Development, CI, Redfish/REST, Python/Robot/Selenium/Ansible IT Automation, DevOps
(OpenPower/OpenBMC servers)