Pinned Repositories
Anastassija.github.io
iguana
prototype parser run-time, back-end for different kinds of parser generators, including rascal.
rascal-core-with-redex
Experiments with defining the Rascal Core operational semantics using PLT Redex.
TyMoRe
Monadic framework for type based refactorings
iguana
prototype parser run-time, back-end for different kinds of parser generators, including rascal.
Meerkat
Meerkat parsers
SoTeSoLa2012
Software Technologies & Software Languages
rascal
The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)
rascal-eclipse
Eclipse IMP based IDE for the Rascal meta-programming language. See rascal project for Wiki, Issues and such.
vallang
Generic immutable recursive data representation API targeted at source code models and more.
Anastassija's Repositories
Anastassija/rascal-core-with-redex
Experiments with defining the Rascal Core operational semantics using PLT Redex.
Anastassija/TyMoRe
Monadic framework for type based refactorings
Anastassija/Anastassija.github.io
Anastassija/iguana
prototype parser run-time, back-end for different kinds of parser generators, including rascal.