Remy Willems

icon indicating a website link https://keyboarddrummer.github.io/ icon indicating an email [email protected]

icon company @amzn icon location Utrecht, Netherlands icon location I mainly work on Dafny and on Miksilo, a tool to construct programming languages in a modular way.

Results 3 repositories owned by Remy Willems

Miksilo

38
Stars
1
Forks
Watchers

The fastest way to build a language

verified publisher icon keyboardDrummer

SmartReactives

190
Stars
10
Forks
Watchers

A .NET library that detects when an expression changes its value

verified publisher icon keyboardDrummer

typeless

18
Stars
0
Forks
Watchers

Typeless: the benefits of TypeScript, without the types

verified publisher icon keyboardDrummer