Anastassija

followers

following

stars

Centrum Wiskunde & Informatica

Amsterdam

anastassija.github.io

Organizations

cwi-nl

cwi-swat

impulse-org

Anastasia Izmaylova's repositories

rascal-core-with-redex

Experiments with defining the Rascal Core operational semantics using PLT Redex.

1 10

TyMoRe

Monadic framework for type based refactorings

1 10

Anastassija.github.io

Language:HTML010

iguana

prototype parser run-time, back-end for different kinds of parser generators, including rascal.

Language:Java010