PaulKlint

Centrum Wiskunde & InformaticaAmsterdam

Pinned Repositories

aterms
The ATerm library is an extremely efficient library for maximally shared terms with a fast serialized format and a garbage collector (in C).
Language:Java23 9 05
php-analysis
PHP language analyses in Rascal
Language:Rascal27 9 138
dagre-d3
A D3-based renderer for Dagre
Language:JavaScript2.9k 110 338593
dagre-d3
A D3-based renderer for Dagre
Language:JavaScript1 1 00
flybytes
Flybytes is an intermediate language between JVM bytecode and software languages (DSLs, PLs), for compilation and decompilation.
Language:Java18 25 236
rascal
The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)
Language:Java412 27 1.9k77
rascal-core
Static checker, compiler to Java and run-time classes for compiled Rascal programs
Language:Rascal12 8 04
rascal-eclipse
Eclipse IMP based IDE for the Rascal meta-programming language. See rascal project for Wiki, Issues and such.
Language:Java18 23 014
typepal
TypePal is a framework for name analysis, type checking and type inference
Language:Rascal5 23 54
vallang
Generic immutable recursive data representation API targeted at source code models and more.
Language:Java36 12 4113