keyboardDrummer
I mainly work on Dafny and on Miksilo, a tool to construct programming languages in a modular way.
@amznUtrecht, Netherlands
Pinned Repositories
cloudformation-ide-tooling
Rich editor tooling for CloudFormation Templates for various editors such as Visual Studio Code
DebtRatchet
A tool to systematically remove debt from legacy codebases
KeyboardLayoutOptimizer
Keyboard layout optimizer
Miksilo
The fastest way to build a language
SmartReactives
A .NET library that detects when an expression changes its value
tablesorter
Github fork of Christian Bach's tablesorter plugin: http://tablesorter.com
typeless
Typeless: the benefits of TypeScript, without the types
Vectorizer
Converting raster to vector images
WPFBindingsFromExpressions
Generates WPF bindings from C# Expression trees.
keyboardDrummer's Repositories
keyboardDrummer/SmartReactives
A .NET library that detects when an expression changes its value
keyboardDrummer/Miksilo
The fastest way to build a language
keyboardDrummer/typeless
Typeless: the benefits of TypeScript, without the types
keyboardDrummer/cloudformation-ide-tooling
Rich editor tooling for CloudFormation Templates for various editors such as Visual Studio Code
keyboardDrummer/DebtRatchet
A tool to systematically remove debt from legacy codebases
keyboardDrummer/boogie
Boogie
keyboardDrummer/mvel-ide-tooling
IDE Tooling for the MEVL language
keyboardDrummer/aws-encryption-sdk-dafny
AWS Encryption SDK for Dafny
keyboardDrummer/concurrencyTestingExperiment
keyboardDrummer/create-react-app
Set up a modern web app by running one command.
keyboardDrummer/dafny
Dafny is a verification-aware programming language
keyboardDrummer/dafny-vscode-extension
A VSCode extension for Dafny
keyboardDrummer/disposedBugRider
keyboardDrummer/ide-vscode
VSCode IDE Integration for Dafny
keyboardDrummer/ideaSettings
keyboardDrummer/javascript-typescript-langserver
JavaScript and TypeScript code intelligence through the Language Server Protocol
keyboardDrummer/keyboardDrummer.github.io
Build a Jekyll blog in minutes, without touching the command line.
keyboardDrummer/language-server-protocol
Defines a common protocol for language servers.
keyboardDrummer/list
The Public Suffix List
keyboardDrummer/node-oom-heapdump
Create a V8 heap snapshot right before an "Out of Memory" error occurs, or create a heap snapshot or CPU profile on request.
keyboardDrummer/not-a-dafny-fork
Experiment with github actions resources
keyboardDrummer/OutputCheck
A tool for checking tool output inspired by LLVM's FileCheck
keyboardDrummer/repro-ts-server-sourcegraph-issue
keyboardDrummer/rfcs
Dafny request-for-feature discussions
keyboardDrummer/roslyn
The .NET Compiler Platform ("Roslyn") provides open-source C# and Visual Basic compilers with rich code analysis APIs.
keyboardDrummer/test
keyboardDrummer/testApiRepo
keyboardDrummer/typescript-language-server
TypeScript & JavaScript Language Server
keyboardDrummer/vscode
Visual Studio Code
keyboardDrummer/webview-sample