keyboardDrummer/keyboardDrummer.github.io
Build a Jekyll blog in minutes, without touching the command line.
I work on automatically analyzing software
Repositories
keyboardDrummer/typeless
Typeless: the benefits of TypeScript, without the types
keyboardDrummer/Strata
keyboardDrummer/create-react-app
Set up a modern web app by running one command.
keyboardDrummer/SmartReactives
A .NET library that detects when an expression changes its value
keyboardDrummer/Miksilo
The fastest way to build a language
keyboardDrummer/dafny
Dafny is a verification-aware programming language
keyboardDrummer/tymoc
Typed modular compiler
keyboardDrummer/DebtRatchet
A tool to systematically remove debt from legacy codebases
keyboardDrummer/boogie
Boogie
keyboardDrummer/Vectorizer
Converting raster to vector images
keyboardDrummer/aws-encryption-sdk-dafny
AWS Encryption SDK for Dafny
keyboardDrummer/KeyboardLayoutOptimizer
Keyboard layout optimizer
keyboardDrummer/OutputCheck
A tool for checking tool output inspired by LLVM's FileCheck
keyboardDrummer/vscode
Visual Studio Code
keyboardDrummer/not-a-dafny-fork
Experiment with github actions resources
keyboardDrummer/concurrencyTestingExperiment
keyboardDrummer/disposedBugRider
keyboardDrummer/WPFBindingsFromExpressions
Generates WPF bindings from C# Expression trees.
keyboardDrummer/ide-vscode
VSCode IDE Integration for Dafny
keyboardDrummer/testApiRepo
keyboardDrummer/cloudformation-ide-tooling
Rich editor tooling for CloudFormation Templates for various editors such as Visual Studio Code
keyboardDrummer/test
keyboardDrummer/typescript-language-server
TypeScript & JavaScript Language Server
keyboardDrummer/rfcs
Dafny request-for-feature discussions
keyboardDrummer/fastparse
Writing Fast Parsers Fast in Scala
keyboardDrummer/list
The Public Suffix List
keyboardDrummer/DynamicData
Reactive collections based on Rx.Net
keyboardDrummer/webview-sample
keyboardDrummer/dafny-vscode-extension
A VSCode extension for Dafny