IntelliJ Rust
intellij-rust
Umbrella organization for all the projects related to IntelliJ Rust plugin
TLA+
tlaplus
TLA+ is a formal specification language developed to design, model, document, and verify reactive systems.
Dima
dkorolev
Life is a positive sum game.
Host of the SysDesign Meetup, architect at Miro, maintainer of Current, CS generalist, ex. competitive programmer.
@SysDesignMeetup, @Cerebellum-Network, @C5T Pacific Northwest & Europe
srrrse
withoutboats
In civilizations without boats, dreams dry up, espionage takes the place of adventure, and police take the place of pirates.
Berlin
Anders Hejlsberg
ahejlsberg
Microsoft Technical Fellow and lead architect of TypeScript. Original designer of C#, Delphi, and Turbo Pascal.
Microsoft Redmond, WA, USA