Big data Optimized data handling Visualization Workflow technologies

Big data GPU High performance computing Multi-scale & multi model simulations Optimized data handling Real time data analysis

FAIR Research Software Impact Software Citation

Cancer vaccine Convolutional Neural Network Deep Learning Framework Geometric Deep Learning Graph Neural Network Missense variant Protein-Protein Interaction Structural biology

core language Dependent Types type-checking typechecking Type Theory

glob imports haskell lm relative imports scope graphs stratified type-checking type-checking unordered imports

Dependent Types elaboration elaborators extensible datatype open datatype type-checking

All software

agda-core

Codebase Underlying the BSc Thesis: Type-Checking Modules and Imports using Scope Graphs

Code underlying the publication: ExEl: Building an Elaborator Using Extensible Constraints