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