keyboardDrummer
I mainly work on Dafny and on Miksilo, a tool to construct programming languages in a modular way.
@amznUtrecht, Netherlands
keyboardDrummer's Followers
- andrewnesterDatabricks, Developer Ecosystem
- anurbol
- arranstewart@uwa
- B1Z0NKyiv, Ukraine
- Baspar@AWS
- BreatheSmileUtrecht, the Netherlands
- cumsoftcumsoft
- dexeril974CAHSJUICE
- dnalob
- dsl-course
- ebigram
- emugnier
- fulghumDoltHub
- gbahamondezcSantiago, Chile.
- hierophantos
- J535D165Utrecht University
- jastice@JetBrains
- jorik041
- jsanchez78Chicago, IL
- justin8Amazon Security
- kirisky
- lanicon
- mirryiBrown University
- paganma
- pavelvlasovCanva
- PCManticore
- RamyromelSky limit
- richardhboyd@DataDog
- SeshatCZCzech republic
- Sjoerde
- timjrobinsonBrisbane, Australia
- tinovyatkinLuxembourg
- trisvol
- tuixViking Analytics AB
- ubowebuboweb
- weskAmazon Web Services (AWS)