The DI.FAST group develops and maintains software tools and libraries that support its research and education activities.
name | description |
2LT | Two-level software transformation |
Camila | VDM meets Functional Programming |
CircLib, HaCirc, OCirc | Transformation of cicular programs |
CoddFish | Strongly-typed relational databases |
DrHylo | Transformation of functional programs into hylomorphic form |
HaGlr | Generalized LR parsing |
HaLex | Model, manipulate and animate regular languages |
HaSlicer | Slicing functional programs |
INblobs | Editing and interpretation of Interaction Nets |
Lrc | Higher-order attribute grammar system |
MatchO | Matching objects without language extension |
Pointless | Support for point-free programming |
Sdf2Haskell? | Functional programming support for language processing |
SdfMetz | Grammar metrics for SDF, BNF, Yacc, and more |
SimpliFree | Transformation of point-free programs |
Strafunski | Strategic functitonal programming |
VooDooM | Analysis and transformation of VDM specifications |
XsdMetz | Structure and usage metrics for XML Schema |
Most of this software is programmed in the functional programming language Haskell. Some tools and libraries are also available as part of the
UMinho Haskell Libraries & Tools.