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 123 issues of Remy Willems

Remove the old getType. Finish the existing branch

java

Separate Java front-end from bytecode generation

java

Calculate diagnostics immediately when a file is opened in LSP

ide

Enable multi-file for Java

java

Add autocompletion based on scopes

This depends on the name binding language

ide

Move the StateMonad in BiGrammar so it's part of the Input instead of the result

parser
refactoring

Add a hybrid semantics DSL

enhancement

Finish bytecode support

There are instructions missing and also parts of the class file definition such as exceptions.

enhancement
bytecode

BiGrammar to Grammar transformation does not remove ignored produce grammars

Ignored produce grammars only have an effect when printing, not when parsing, so it's nicer to optimize them out of the parser. An example of a grammar that produces this...

grammar

Add a generator for constructors/getters/setter for Node objects, based on dynamic type definitions

See [this wiki page](https://github.com/keyboardDrummer/Blender/wiki/Generating-Node-wrappers) for the specification

core