TLA+
tlaplus
TLA+ is a formal specification language developed to design, model, document, and verify reactive systems.
Keavon Chambers
Keavon
Creator of Graphite. Product and UI designer, web dev, tech artist, 3D generalist, photographer, maker. M.S. + B.S. from Cal Poly SLO.
Graphite Bay Area, California
Daniel Öster
dalathegreat
📜 Automation Engineer (Bsc),
🌱 Plant based
⚙️ Reverse engineering specialist
🔋🚗 Extending Electric vehicle lifecycles
Dala's EV Repair Vaasa, Finland
Lloyd Fournier
LLFourn
See pinned repos for my research.
GPG: 28EF6BC914ABBA2BAB98B796A27093B54DA11F65
To verify anything I sign use: https://api.github.com/users/LLFourn/gpg_keys
Federico Tomassetti
ftomassetti
Language Architect and Founder of Strumenta. We are specialized in language engineering: language migrationDSLs, design languages, parsers, editors, interpreter
Strumenta Turin, Italy
Jeff Martin
reportmill
Writing fun Java graphics software for the desktop and web.
ReportMill Software, Inc. Dallas/Fort Worth
Jonas Bonér
jboner
Founder and CTO of Akka. Creator of the @akka Project, the @AspectWerkz AOP compiler, and many other OSS projects.
Akka Uppsala, Sweden