keyboardDrummer
I mainly work on Dafny and on Miksilo, a tool to construct programming languages in a modular way.
@amznUtrecht, Netherlands
keyboardDrummer's Following
- akeepFacebook
- AmadeusWMicrosoft
- andreasmuelderitemis AG
- andrewnesterDatabricks, Developer Ecosystem
- bkolb
- ChristopherBrixAachen, Germany
- cretzDallas, TX
- dafny-lang
- DavyLandman@SWAT-engineering
- dbaeumerMicrosoft
- djspiewak@nvidia
- emugnier
- enikao
- gnuwilliam@Loadsmart
- JoshVartyToronto
- lennartcl@databricks
- lihaoyi
- markusvoelterIndependent Consultant
- martinschaefAmazon
- melllem
- mirryiBrown University
- Mottie@adhocteam
- mweststrateFacebook
- pa-baIT University of Copenhagen
- PaulKlintCentrum Wiskunde & Informatica
- pavelvlasovCanva
- ranger71Ben-Gurion University of the Negev
- rcjsuenQlik
- szabta89GitHub
- tchajedUW-Madison
- typerSniper