A collection of Haskell language engineering tools developed by the Programming Languages and Verification team
Dynamically Adaptive Microservice-based OS. A Middleware for Data Exchange Systems.
Fast and Flexible Agent-Oriented Programming Framework
A domain-specific language for executable norm specifications