Skip to content
View keyboardDrummer's full-sized avatar
48 followers · 31 following

Achievements

Achievement: Pair Extraordinairex4Achievement: QuickdrawAchievement: Galaxy BrainAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Achievements

Achievement: Pair Extraordinairex4Achievement: QuickdrawAchievement: Galaxy BrainAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Organizations

@dafny-lang

Block or report keyboardDrummer

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@dafny-lang
Dafny dafny-lang
Dafny is a verification-aware programming language
@emugnier
emugnier
Phd student @UCSD
@mirryi
Eric Zhao mirryi

Brown University

@tchajed
Tej Chajed tchajed
Professor at UW-Madison. I write software and prove that it does what it's supposed to.

UW-Madison Madison, WI

@ranger71
Rani Ettinger ranger71

NVIDIA Beer Sheva, Israel

@ChristopherBrix
Christopher Brix ChristopherBrix
PhD student at RWTH Aachen University, Germany. I'm focusing on the verification of neural networks.

Aachen, Germany

@typerSniper
Jatin Arora typerSniper
@dbaeumer
Dirk Bäumer dbaeumer

Microsoft Switzerland

@melllem
melllem
@martinschaef
Martin Schaef martinschaef

Amazon Queens, NY

@pavelvlasov
Pavel Vlasov pavelvlasov
Teams advocate and #serverless enthusiast

Canva Sydney, Autralia

@lennartcl
Lennart C. L. Kats lennartcl

@databricks Amsterdam

@djspiewak
Daniel Spiewak djspiewak
I write code, read papers, and think thoughts. Broadly, I'm interested in: type theory, parser theory, functional abstractions, data structures, performance.

@nvidia Chicago, IL

@markusvoelter
Markus Voelter markusvoelter
Software developer/architect/consultant focusing on domain analysis, language engineering and the architecture of model-driven, platform-based systems.

Independent Consultant Donzdorf, Germany

@DavyLandman
Davy Landman DavyLandman
Implements DSLs for a living. Parsers, typecheckers, compilers, interpreters, VS Code extensions, you name it. One of core developers of Rascal (@usethesource)

@SWAT-engineering Amsterdam, The Netherlands

@bkolb
Bernd Kolb bkolb
@PaulKlint
Paul Klint PaulKlint

Centrum Wiskunde & Informatica Amsterdam

@enikao
Niko Stotz enikao
@szabta89
Tamás Szabó szabta89
Staff research engineer @githubnext / PhD in computer science / mountain biker / crossfitter

GitHub Austria

@andreasmuelder
Andreas Mülder andreasmuelder
Software Engineer at itemis AG and committer to @Yakindu Statechart Tools

itemis AG Germany

@cretz
Chad Retz cretz

DFW, TX

@rcjsuen
Remy Suen rcjsuen
senior software engineer at @docker, language server protocol enthusiast, and author and maintainer of the Dockerfile language server

Docker, Inc. Ottawa, Ontario, Canada

@andrewnester
Andrew Nester andrewnester
Senior Software Engineer at @databricks

Databricks, Developer Ecosystem Netherlands, Amsterdam

@mweststrate
Michel Weststrate mweststrate

Facebook Netherlands

@lihaoyi
Li Haoyi lihaoyi
I'm a software engineer. If you like using my libraries or reading my blog https://www.lihaoyi.com/, you should check out my book https://www.handsonscala.com
@AmadeusW
Amadeusz Wieczorek AmadeusW

Microsoft Seattle, WA

@JoshVarty
Josh Varty JoshVarty

Toronto

@pa-ba
Patrick Bahr pa-ba
Associate Professor in Programming Languages

IT University of Copenhagen Copenhagen, Denmark

@akeep
Andy Keep akeep

Facebook Redmond, WA

@gnuwilliam
William Oliveira gnuwilliam
Software Engineer

@Loadsmart Brazil

@Mottie
Rob Garrison Mottie
Half stack of pancakes developer (Benefits Lifestages team)

@adhocteam